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 |