| Age | Commit message (Expand) | Author |
|---|
| 2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
| 2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
| 2021-03-16 | cmake: Generate cvc4_export.h and set visibility to hidden. (#6139) | Mathias Preiner |
| 2021-03-11 | Use CVC4_ASSERTIONS instead of NDEBUG. (#6099) | Mathias Preiner |
| 2021-03-10 | Use Assert instead of assert. (#6095) | Mathias Preiner |
| 2020-12-24 | [proof-new] Only use old proofs for unsat cores if no proof new (#5725) | Haniel Barbosa |
| 2020-12-14 | [proof-new] Updating interfaces between prop engine and minisat (#5664) | Haniel Barbosa |
| 2020-09-01 | Removes old proof code (#4964) | Haniel Barbosa |
| 2020-08-31 | Fix spelling errors (#4977) | FabianWolff |
| 2018-10-19 | Remove autotools build system. (#2639) | Mathias Preiner |
| 2018-10-01 | Fix compiler warnings. (#2555) | Aina Niemetz |
| 2018-06-08 | Reset decisions at SAT level after solving (#2059) | Andres Noetzli |
| 2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
| 2016-04-20 | update from the master | PaulMeng |
| 2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-10-26 | This fixes a one definition rule violation for reduceDB_lt in Solver.cc in mi... | Tim King |
| 2015-04-17 | moved Minisat namespace into CVC4 | Finn Haedicke |
| 2014-11-18 | All Minisat solve calls now return lbool (fixes bug 599) | lianah |
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
| 2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
| 2013-04-30 | added support for dumping the SAT problem the sat solver is working on | lianah |
| 2013-04-03 | * changing the bitblast-eager to bitblast on pre-register | Dejan Jovanović |
| 2012-11-26 | fixup for incremental solving | Dejan Jovanović |
| 2012-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
| 2012-03-08 | Removing QUICK_CHECK, and other unused ones, from the Theory::Effort. | Dejan Jovanović |
| 2012-02-29 | This should fix the debian build fails: | Liana Hadarean |
| 2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |
| 2012-02-22 | minor change to order fn in sat solver's ElimLt | Kshitij Bansal |
| 2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
| 2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
| 2011-09-30 | more push/pop infrastructure, some SAT stuff | Morgan Deters |
| 2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
| 2011-04-14 | reverting back the minisat code and adding a simpler one that shouldn't chang... | Dejan Jovanović |
| 2011-04-13 | adding support for unit conflicts in minisat... | Dejan Jovanović |
| 2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
| 2010-08-15 | (no commit message) | Dejan Jovanović |
| 2010-08-13 | renaming minisat .C to .cc | Dejan Jovanović |
| 2010-08-13 | Adding the changes to the original copy | Dejan Jovanović |
| 2010-08-13 | Importing MiniSat2 070721 into trunk | Christopher L. Conway |
| 2010-08-13 | Removing newer version of MiniSat for Dejan's preferred import | Christopher L. Conway |
| 2010-08-13 | Importing MiniSat2 2.2.0 into trunk | Christopher L. Conway |
| 2010-08-13 | Removing old version of MiniSat for proper vendor import | Christopher L. Conway |
| 2010-06-29 | Merging the unate-propagator branch into the trunk. This is a big update so ... | Tim King |
| 2010-05-25 | Some initial changes to allow for lemmas on demand. | Dejan Jovanović |
| 2010-03-09 | (no commit message) | Dejan Jovanović |
| 2010-03-08 | some more sat stuff for tim: assertions now go to theory_uf | Dejan Jovanović |
| 2010-03-03 | Some SAT stuff, not doing anything special yet, just to keep it in sync. | Dejan Jovanović |
| 2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
