Age | Commit message (Expand) | Author |
---|---|---|
2018-03-21 | Fix various regression tests (#1657) | Andres Noetzli |
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 |