- Mar 23, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 22, 2014
-
-
Tomáš Pecka authored
-
- Mar 18, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- rename atrim to atrim.fsm - Terminology - redundant state is now dead state - allow to remove only unreachable or only dead states (see ./atrim.fsm -h) - remove namespace
-
- Mar 15, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 14, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 13, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 12, 2014
-
-
Jan Vesely authored
-
- Mar 09, 2014
-
-
Tomáš Pecka authored
-
- Mar 08, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 07, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 06, 2014
-
-
Tomáš Pecka authored
-
- Mar 04, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Mar 03, 2014
-
-
Tomáš Pecka authored
Destruction of everything. Merged following from conversions: - derivations and integrals - conversions FA-RE and FA-RG
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
Algebraic Method: decrease memory consumption by reducing regexp trees on the fly (side effect: speedup)
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- Rewrite elimination - Eliminate from deepest states towards initial state (BFS is run) - fix leaks
-
Jan Trávníček authored
-
- Mar 02, 2014
-
-
Tomáš Pecka authored
-