summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/rewrite_engine.cpp
AgeCommit message (Expand)Author
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-09-25Clear term caches for quantifiers + incremental, fixes bug 674. Refactoring ...ajreynol
2014-09-23Do not throw error when codatatype is not well-founded. Add option for disab...ajreynol
2014-08-01Minor cleanup from previous commit. Better organization for how quantifiers ...ajreynol
2014-07-01Update copyrights.Morgan Deters
2014-05-25Improve quantifier instantiation: always use original terms when matching (wa...Andrew Reynolds
2014-04-28Preparation for models for co-inductive datatypes. Minor cleanup.Andrew Reynolds
2014-03-11Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu...Andrew Reynolds
2014-01-28More optimizations of quantifier instantiation data structures.Andrew Reynolds
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-07-18Fix quantifier instantiation bug in cbqi, add default priorities in rewrite e...Andrew Reynolds
2013-07-02Minor fixes for bounded integers, rewrite engine.Andrew Reynolds
2013-06-24Add options for symmetry breaking in uf+ss totality axiom approach, option fo...Andrew Reynolds
2013-06-17Make --var-elim-quant true by default. Add rewrite engine to quantifiers mod...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback