Age | Commit message (Expand) | Author |
---|---|---|
2020-02-14 | Remove quantifiers rewrite rules infrastructure (#3754) | Andrew Reynolds |
2018-03-21 | Fix various regression tests (#1657) | Andres Noetzli |
2014-03-11 | Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu... | Andrew Reynolds |
2012-10-09 | fix beta reduction in both preRewrite() *and* postRewrite(), related to bug 4... | Morgan Deters |