| Age | Commit message (Expand) | Author |
|---|
| 2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner |
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2018-08-17 | Remove support for flipDecision (#2319) | Andrew Reynolds |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-06-08 | Reset decisions at SAT level after solving (#2059) | Andres Noetzli |
| 2018-01-15 | Removing more miscellaneous throw specifiers. (#1509) | Tim King |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2016-07-24 | Proper handling for lemmas that are conjuncts: | Guy |
| 2016-06-01 | Merge from proof branch | Guy |
| 2016-06-01 | Revert "Merging proof branch" | Guy |
| 2016-06-01 | Merging proof branch | Guy |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-03-23 | squash-merge from proof branch | Guy |
| 2016-01-28 | Adding listeners to Options. | Tim King |
| 2016-01-05 | Add SmtGlobals Class | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-05-29 | changed resource step options to unsigned | lianah |
| 2015-05-28 | added options for controlling resource step-count for various solving stages | Liana Hadarean |
| 2014-11-17 | Resource-limiting work. | Liana Hadarean |
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-04-29 | Mostly resolves bug #561 memory leaks, and more. | Morgan Deters |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2012-11-26 | fixup for incremental solving | Dejan Jovanović |
| 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-07-31 | Options merge. This commit: | 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-04-30 | Added map from skolem variables to new ite formulas in ite removal. | Clark Barrett |
| 2012-04-17 | A dummy decision engine. Expected performance impact: none. | Kshitij Bansal |
| 2012-04-11 | merge from arrays-clark branch | Morgan Deters |
| 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-16 | fix numerous documentation issues; doxygen complains much less, now | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
| 2011-07-11 | Clark's work on array theory - can now solve all QF_AX problems | Clark Barrett |
| 2011-07-09 | surprize surprize | Dejan Jovanović |
| 2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
| 2010-11-15 | Changes to Solver and PropEngine to support lemmasOnDemand during solve but n... | Tim King |
| 2010-11-15 | This commit merges the arith-prop-opt branch into the main trunk. This was do... | Tim King |
| 2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
| 2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |
| 2010-10-21 | * Option --no-type-checking now disables type checks in SmtEngine | Christopher L. Conway |
| 2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
