2009-06-06 | kim | Safety commit | blob | commitdiff | raw |
2009-05-26 | kim | added optimisations in the run function | blob | commitdiff | raw | diff to current |
2009-05-17 | kim | Added debugging messages | blob | commitdiff | raw | diff to current |
2009-04-30 | kim | Doing the decision procedure | blob | commitdiff | raw | diff to current |
2009-04-26 | kim | Some more optimisations | blob | commitdiff | raw | diff to current |
2009-04-26 | kim | Half way through refactoring | blob | commitdiff | raw | diff to current |
2009-04-17 | kim | adding utils.ml | blob | commitdiff | raw | diff to current |