summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/inst_propagator.cpp
AgeCommit message (Expand)Author
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-08-05Remove forward declarations in quantifiers engine (#3156)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2018-08-27 Address more coverity warnings (#2394)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2017-11-24(Refactor) Instantiate utility (#1387)Andrew Reynolds
2017-11-14Make QEffort an enum (#1366)Andrew Reynolds
2017-11-14Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891. (#1360)Tim King
2017-07-07Update copyright headers.Mathias Preiner
2017-03-29Add quantifiers options related to model and master equality engine.ajreynol
2017-03-24Refactor model building for quantifiers to be a single pass, simplification. ...ajreynol
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-29Address some coverity warnings, add another stat.ajreynol
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-05-05Compute term indices lazily in TermDb. Optimization for qcf to recognize irre...ajreynol
2016-04-28More work on inst propagate. Optimization for qcf to check instances eagerly...ajreynol
2016-04-20update from the masterPaulMeng
2016-04-12Optimizations for QCF to check relevant domain of variable argument positions...ajreynol
2016-04-11Minor fixes for inst match generators. Updates to qip.googleajreynol
2016-04-10More work on instantiation propagation. Enable external filtering of instanti...ajreynol
2016-04-09Minor refactoring of entailment tests and quantifiers util. Initial draft of ...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback