Age | Commit message (Expand) | Author |
2020-04-09 | Towards proper use of resource managers (#4233) | Andrew Reynolds |
2020-03-16 | SmtEngine: Convert members owned by SmtEngine to unique pointers. (#4108) | Aina Niemetz |
2020-02-26 | Remove portfolio leftovers (#3821) | Andres Noetzli |
2019-10-30 | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) | Mathias Preiner |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-10-15 | Delay initialization of theory engine (#2621) | Andrew Reynolds |
2018-09-22 | cmake: Refactor cvc4_add_unit_test macro to support test names with '/'. | Aina Niemetz |
2018-09-22 | cmake: More documentation, clean up. | Aina Niemetz |
2018-09-22 | cmake: Add support for CxxTest. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-08-23 | Add missing overrides in unit tests (#2362) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-11-07 | Fixing a memory leak in the CnfStream unit tests. | Tim King |
2016-05-25 | Fixed unit test | Liana Hadarean |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-10-06 | Fix unit test that was broken with last commit. | Morgan Deters |
2014-08-22 | Unit test fix. | Morgan Deters |
2014-08-04 | Better support for resource-limiting when there aren't any actual conflicts. | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-04-05 | Fix unit test (compile error) for new SatSolver interface | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-03 | adding ::getBooleanVariables to the PropEngine | Dejan Jovanović |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-07-16 | Support for having two SmtEngines with the same ExprManager. | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-07 | LogicInfo locking implemented, and some initialization-order issues in SmtEng... | Morgan Deters |
2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
2012-04-28 | New LogicInfo functionality. | Morgan Deters |
2012-03-26 | More cleaning up. | Dejan Jovanović |
2012-03-26 | forgot to commit this one, fixing build errors | Dejan Jovanović |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |
2011-11-15 | Bindings work (ocaml bindings are now sort of working); also minor cleanup | Morgan Deters |
2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
2011-10-05 | ensureLiteral() in CNF stream to support Andy's quantifiers work; an update t... | Morgan Deters |
2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-08-25 | Fixing the broken unit tests | Dejan Jovanović |
2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
2011-04-16 | unit test fixes for new NodeManager constructor (related to previous two trun... | Morgan Deters |
2011-04-05 | Minor adjustments to the Registrar commit in 1644, documentation. | Morgan Deters |