projects / tatoo.git / search
| 2017-04-18 | Kim Nguyễn | Add the node summary to the Tree interface. |
commit | commitdiff | tree |
| 2017-04-18 | Kim Nguyễn | Update reference to saxon jar file. |
commit | commitdiff | tree |
| 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 |