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

2013-07-26	Kim Nguyễn	Drastically improve performances by simplifying the...	blob \| commitdiff \| raw
2013-07-24	Kim Nguyễn	Implement the multiple-starters feature:	blob \| commitdiff \| raw \| diff to current
2013-07-23	Kim Nguyễn	Implement copy and composition of automata.	blob \| commitdiff \| raw \| diff to current
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	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-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
2013-02-07	Kim Nguyễn	Refactor module organisation and build process.	blob \| commitdiff \| raw
2013-02-06	Kim Nguyễn	Implement formulae parametrized by atomic predicates.	blob \| commitdiff \| raw \| diff to current
2013-02-04	Kim Nguyễn	Sanitize header files and add a timestamp mark in each...	blob \| commitdiff \| raw \| diff to current
2013-02-04	Kim Nguyễn	Add automata data structure.	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit

RSS Atom