2013-03-09 | Kim Nguyễn | Extend the interface with a fold function (over the... | blob | commitdiff | raw |
2013-03-09 | Kim Nguyễn | Rework the formula predicates: | blob | commitdiff | raw | diff to current |
2013-03-05 | Kim Nguyễn | Split the sig.ml module in *_sig.ml (one for each module) | blob | commitdiff | raw | diff to current |
2013-02-08 | Kim Nguyễn | Add functions to normalize an automaton: | blob | commitdiff | raw | diff to current |
2013-02-07 | Kim Nguyễn | Refactor module organisation and build process. | blob | commitdiff | raw | diff to current |