- Aug 10, 2016
-
-
Jan Trávníček authored
-
- May 24, 2016
-
-
Jan Trávníček authored
-
- Mar 06, 2016
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 05, 2016
-
-
Jan Trávníček authored
-
- Jun 17, 2015
-
-
Jan Trávníček authored
-
- Apr 17, 2015
-
-
Jan Trávníček authored
-
- Apr 15, 2015
-
-
Jan Trávníček authored
-
- Feb 19, 2015
-
-
Jan Trávníček authored
-
- Jan 22, 2015
-
-
Jan Trávníček authored
-
- Jan 19, 2015
-
-
Jan Trávníček authored
-
- Jan 04, 2015
-
-
Jan Trávníček authored
-
- Nov 24, 2014
-
-
Tomáš Pecka authored
-
Jan Trávníček authored
-
- Nov 12, 2014
-
-
Jan Trávníček authored
-
- Nov 04, 2014
-
-
Jan Trávníček authored
-
- Oct 28, 2014
-
-
Jan Trávníček authored
-
- Oct 07, 2014
-
-
Jan Trávníček authored
-
- Sep 29, 2014
-
-
Jan Trávníček authored
-
- Sep 16, 2014
-
-
Tomáš Pecka authored
-
- Sep 12, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Sep 11, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Sep 07, 2014
-
-
Tomáš Pecka authored
-
Jan Trávníček authored
-
- Sep 05, 2014
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- May 01, 2014
-
-
Tomáš Pecka authored
- FA -> LRG: fix double addition of rules - Glushkov: use different state/nonterminal names. Names are generated via hexavigesimal with symbol id appended - Thompson: use different state names - Brzozowski: fix numbering - start at 0 so hexavigesimal starts properly at A - RRG -> FA: if createUnique is used, then use A' instead of A0 - tests: correct exit values to determine if process reached timeout or segfault
-
Tomáš Pecka authored
- run tests on every automata stored as file examples/automaton/aconversion.test.*.xml
-
Tomáš Pecka authored
-
- Apr 30, 2014
-
-
Tomáš Pecka authored
-
- Apr 25, 2014
-
-
Tomáš Pecka authored
-
- Apr 19, 2014
-
-
Tomáš Pecka authored
-
- Apr 07, 2014
-
-
Tomáš Pecka authored
-
- Mar 31, 2014
-
-
Jan Trávníček authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- Note that this requires arand executable which is not finished yet, but obtainable from branch genRandAutomata.
-