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

2013-11-22	Kim Nguyễn	Silence an unused variable warning.	blob \| commitdiff \| raw
2013-11-07	Kim Nguyễn	Fix a bug in the compilation of * tests.	blob \| commitdiff \| raw \| diff to current
2013-08-18	Kim Nguyễn	Refactor HTML tracing utility. Color the nodes that...	blob \| commitdiff \| raw \| diff to current
2013-08-18	Kim Nguyễn	Increase the size of the border of selected nodes in...	blob \| commitdiff \| raw \| diff to current
2013-08-15	Kim Nguyễn	Rewrite the HTML debugging output to generate an svg...	blob \| commitdiff \| raw \| diff to current
2013-04-26	Kim Nguyễn	Remove the 'round' counter from the hashconsed configur...	blob \| commitdiff \| raw \| diff to current
2013-04-23	Kim Nguyễn	Make the html trace tools use colors to represent the...	blob \| commitdiff \| raw \| diff to current
2013-04-17	Kim Nguyễn	Fix remaining compilation bug caused by the refactoring...	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