| Age | Commit message (Expand) | Author |
|---|
| 2017-11-01 | (Refactor) Split term util (#1303) | Andrew Reynolds |
| 2017-10-09 | Split term database (#1206) | Andrew Reynolds |
| 2017-08-14 | Move function defns from smt_engine_scope.h to cpp (#216) | Andres Noetzli |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-06-30 | Minor change to trigger selection, fixes related to subtypes (in macros, cbqi... | ajreynol |
| 2017-04-21 | Handle subtypes in sets. Bug fixes for tuples with subtypes. | ajreynol |
| 2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
| 2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
| 2016-10-11 | Merge branch 'origin' of https://github.com/CVC4/CVC4.git | Paul Meng |
| 2016-09-29 | Address some coverity warnings, add another stat. | ajreynol |
| 2016-07-05 | Merge branch 'master' of https://github.com/CVC4/CVC4.git | PaulMeng |
| 2016-04-20 | update from the master | PaulMeng |
| 2016-04-07 | Refactor trigger selection, revisions to --relational-trigger. Properly proce... | ajreynol |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-02-18 | Correct subtyping for arrays, disable subtyping for predicate subtypes. Bug ... | ajreynol |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-08-16 | More optimizations to --macros-quant, add --macros-quant-mode=ground-uf. Clea... | ajreynol |
| 2015-08-12 | Improvements to --macros-quant. Enable --clause-split by default. Bug fix for... | ajreynol |
| 2015-08-01 | Make --fmf-fun and --macros-quant work in incremental mode. Add regressions. | ajreynol |
| 2015-04-09 | Fix unsat-core issues related to rewrite rules, quantifiers preprocessing, an... | ajreynol |
| 2014-10-14 | Context-dependent expr attributes are now attached to a specific SmtEngine, a... | Morgan Deters |
| 2014-09-17 | Fix soundness bug for quantifier macros involving Int/Real. | ajreynol |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-05-09 | Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC... | Andrew Reynolds |
| 2014-05-08 | Major simplifications to macros module. | ajreynol |
| 2014-04-17 | simplify mkSkolem naming system: don't use $$ | Kshitij Bansal |
| 2014-01-24 | Simplify the QCF algorithm by more aggressive flattening, removes EqRegistry ... | Andrew Reynolds |
| 2014-01-10 | Add new method --quant-cf for finding conflicts eagerly for quantified formul... | Andrew Reynolds |
| 2013-11-26 | Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ... | Andrew Reynolds |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
| 2013-02-04 | fixed files with DOS newlines; fixed contrib/ scripts to use git | Morgan Deters |
| 2012-11-18 | support for quantifiers macros, bug fix for bug 454 involving E-matching Arra... | Andrew Reynolds |
| 2012-11-14 | replaced all static member data from rewrite rule triggers, added infrastruct... | Andrew Reynolds |
