2013-04-18 | Kim Nguyễn | Hash-conses each node configuration. | blob | commitdiff | raw |
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 |