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

2013-07-15	Kim Nguyễn	Remove the timestamp header in source files. This infor...	blob \| commitdiff \| raw
2013-04-26	Kim Nguyễn	Remove the 'round' counter from the hashconsed configur...	blob \| commitdiff \| raw \| diff to current
2013-04-25	Kim Nguyễn	Add a clean logger infrastructure.	blob \| commitdiff \| raw \| diff to current
2013-04-25	Kim Nguyễn	Add a bitmap to keep track of whether a subtree needs...	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-23	Kim Nguyễn	Cosmetic changes.	blob \| commitdiff \| raw \| diff to current
2013-04-22	Kim Nguyễn	Tune the Remakefile to re-run tests when the binary...	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-22	Kim Nguyễn	Merge branch 'feature/precise-sat'	blob \| commitdiff \| raw \| diff to current
2013-04-22	Kim Nguyễn	Hashcons transition evaluation based on node configuration.	blob \| commitdiff \| raw \| diff to current
2013-04-22	Kim Nguyễn	Store a summary of the node (kind, topology) in the...	blob \| commitdiff \| raw \| diff to current
2013-04-18	Kim Nguyễn	Hash-conses each node configuration.	blob \| commitdiff \| raw \| diff to current
2013-04-18	Kim Nguyễn	Maintain the set of unsatisfiable states.	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

RSS Atom