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

2013-07-23	Kim Nguyễn	Implement copy and composition of automata.	blob \| commitdiff \| raw
2013-07-19	Kim Nguyễn	Preliminary work for multiple starters evaluation. refactor/sanitize-ata	blob \| commitdiff \| raw \| diff to current
2013-07-19	Kim Nguyễn	Refactor the Ata module:	blob \| commitdiff \| raw \| diff to current
2013-07-17	Kim Nguyễn	Sanitize the representation of formula	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-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-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-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