projects / tatoo.git / search
| 2017-04-03 | Kim Nguyễn | Implement automaton simplification. |
commit | commitdiff | tree |
| 2016-10-12 | Kim Nguyễn | Simplify the automaton encoding a bit (remove redundant... |
commit | commitdiff | tree |
| 2016-10-12 | Kim Nguyễn | Refactor pretty printing of transitions and fix some... |
commit | commitdiff | tree |
| 2016-10-12 | Kim Nguyễn | add .merlin file. |
commit | commitdiff | tree |
| 2016-10-12 | Kim Nguyễn | * Seal the representation of states |
commit | commitdiff | tree |