projects / tatoo.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify the automaton encoding a bit (remove redundant predicates in formulae).
2016-10-12 Kim NguyễnSimplify the automaton encoding a bit (remove redundant...
commit | commitdiff | tree
2016-10-12 Kim NguyễnRefactor pretty printing of transitions and fix some...
commit | commitdiff | tree
2016-10-12 Kim Nguyễnadd .merlin file.
 commit | commitdiff | tree
2016-10-12 Kim Nguyễn* Seal the representation of states
 commit | commitdiff | tree
Tree Automata TOOlkit