- 15 May, 2022 3 commits
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- 08 May, 2022 1 commit
-
-
Tomáš Pecka authored
-
- 29 Apr, 2022 1 commit
-
-
Tomáš Pecka authored
-
- 28 Apr, 2022 2 commits
-
-
Ing. Jan Trávníček authored
closes #203 - somehow it works if I broke string parser of automata it must have been in a way tests didn't report it.
-
Ing. Jan Trávníček authored
-
- 27 Apr, 2022 1 commit
-
-
Ing. Jan Trávníček authored
-
- 25 Apr, 2022 9 commits
-
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
closes 227
-
- 20 Apr, 2022 1 commit
-
-
Ing. Jan Trávníček authored
closes 229
-
- 19 Apr, 2022 4 commits
-
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
- 18 Apr, 2022 2 commits
-
-
-
Tomáš Pecka authored
By pulling as much images as we can from local cached copy we could (hopefully) avoid the docker TOOMANYREQUESTS error.
-
- 16 Apr, 2022 6 commits
-
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
- 15 Apr, 2022 3 commits
-
-
Ing. Jan Trávníček authored
-
Tomáš Pecka authored
For efficiency, let's implement runs of deterministic Z-Automata also on linearised unranked tree. Based on my testing with a tree constructed from sprotall.xml [1] the run is ~15 % faster than a run over UnrankedTree. [1]: https://research.cs.wisc.edu/niagara/data.html
-
Tomáš Pecka authored
-
- 14 Apr, 2022 4 commits
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
The representation '*' was shared with NodeWildcard. I believe '*' is better for NodeWildcard so let's change Gap to '~'. At first I wanted to use '_' but it is already occupied by BottomOfTheStackSymbol and the underscore is probably better suited for that.
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- 13 Apr, 2022 3 commits
-
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-
Ing. Jan Trávníček authored
-