git.nguyen.vg Git - tatoo.git/history

2016-10-12	Kim Nguyễn	Simplify the automaton encoding a bit (remove redundant...	blob \| commitdiff \| raw
2016-10-12	Kim Nguyễn	* Seal the representation of states	blob \| commitdiff \| raw \| diff to current
2013-11-25	Kim Nguyễn	Cosmetic changes (truncate long lines, remove trailing...	blob \| commitdiff \| raw \| diff to current
2013-08-07	Kim Nguyễn	Implement reverse mapping from preorder to nodes.	blob \| commitdiff \| raw \| diff to current
2013-07-15	Kim Nguyễn	Remove the timestamp header in source files. This infor...	blob \| commitdiff \| raw \| diff to current
2013-04-22	Kim Nguyễn	Implement command line options, clean-up screen output.	blob \| commitdiff \| raw \| diff to current
2013-04-04	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	blob \| commitdiff \| raw \| diff to current
2013-04-04	Kim Nguyễn	Flatten the sources, only leave the XPath module packed.	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit