| Age | Commit message (Expand) | Author |
|---|
| 2021-05-24 | Move proof utilities to src/proof/ (#6611) | Andrew Reynolds |
| 2021-05-13 | Add std::hash overloads for Node, TNode and TypeNode. (#6534) | Mathias Preiner |
| 2021-04-14 | Rename public and private headers in src/include. (#6352) | Aina Niemetz |
| 2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz |
| 2021-04-09 | Rename CVC4_ macros to CVC5_. (#6327) | Aina Niemetz |
| 2021-04-09 | Rename CVC4__ header guards to CVC5__. (#6326) | Aina Niemetz |
| 2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
| 2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
| 2021-03-09 | Some more cleanup of includes (#6083) | Gereon Kremer |
| 2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
| 2021-02-24 | Enable -Werror. (#5969) | Mathias Preiner |
| 2020-12-02 | Update copyright headers. | Aina Niemetz |
| 2020-10-21 | (proof-new) Make circuit propagator proof producing (#5318) | Gereon Kremer |
| 2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
| 2020-06-16 | Update copyright headers. | Aina Niemetz |
| 2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner |
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2018-09-04 | Transfer ownership of learned literals from SMT engine to circuit propagator.... | Aina Niemetz |
| 2018-08-28 | Reorder circuit propagator class. | Aina Niemetz |
| 2018-08-28 | Move flag needsFinish from SMT engine to circuit propagator. | Aina Niemetz |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
| 2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2016-04-20 | update from the master | PaulMeng |
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-02-03 | new miplib pass, works for 1 or 2 vars | Morgan Deters |
| 2012-12-05 | This commit merges in CDTrailHashMap and CDInsertHashMap. CDHashSet now uses ... | Tim King |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
| 2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
| 2012-06-15 | Fix for incompleteness bug with decision engine: repeated simplification | Clark Barrett |
| 2012-06-04 | Added preprocessing pass that propagates unconstrained values - solves all of | Clark Barrett |
| 2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
| 2012-03-02 | CDMap -> CDHashMap | Dejan Jovanović |
| 2012-03-02 | committing the TNode/Node fix that was in the kind-backend branch; there's st... | Morgan Deters |
| 2011-09-30 | fixes to incremental simplification, cnf routines, other stuff in preparation... | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
| 2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
