Age | Commit message (Expand) | Author |
---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2012-11-30 | fix the syntax of assert-rewrite/-propagation/-reduction by putting the patte... | François Bobot |
2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |