Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit
[tatoo.git] / tests / tiny.xml
2013-12-03 Kim NguyễnFix a bug in the test-complexity script and add more...
2013-11-24 Kim NguyễnAdd a tiny XML file to help debug automata behaviour.