- Apr 16, 2022
-
-
Jan Trávníček authored
-
- Apr 15, 2022
-
-
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
-
- Apr 14, 2022
-
-
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
-
- Apr 13, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
closes #228
-
- Apr 11, 2022
-
-
Tomáš Pecka authored
I believe we need to push a random number generator algorithm to CLI in order to write random tests using aql scripts.
-
- Apr 08, 2022
-
-
Jan Trávníček authored
-
- Mar 28, 2022
-
-
Jan Trávníček authored
the rvalue reference captures Bit reference object here which is not intended nor wise
-
- Mar 20, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Filip Gregor authored
-
- Mar 06, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Feb 26, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-