Age | Commit message (Expand) | Author |
---|---|---|
2014-04-28 | Optimizations for datatypes: check for clashes modulo equality. Avoid buildi... | ajreynol |
2014-03-11 | Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu... | Andrew Reynolds |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-07-18 | Fix quantifier instantiation bug in cbqi, add default priorities in rewrite e... | Andrew Reynolds |
2013-07-02 | Minor fixes for bounded integers, rewrite engine. | Andrew Reynolds |
2013-06-17 | Make --var-elim-quant true by default. Add rewrite engine to quantifiers mod... | Andrew Reynolds |