| Age | Commit message (Expand) | Author |
|---|
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2019-01-14 | ClausalBitvectorProof (#2786) | Alex Ozdemir |
| 2018-12-03 | Bit vector proof superclass (#2599) | Alex Ozdemir |
| 2018-08-17 | Remove support for flipDecision (#2319) | Andrew Reynolds |
| 2018-07-30 | Add support for incremental eager bit-blasting. (#1838) | Mathias Preiner |
| 2018-06-25 | Updated copyright headers. | 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 |
| 2018-01-15 | Removing more miscellaneous throw specifiers. (#1509) | Tim King |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2016-09-01 | Relaxing the throw specifiers for the destructors for Node, TypeNode, the con... | Tim King |
| 2016-05-24 | Merged cryptominisat from experimental branch. | Liana Hadarean |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-02-24 | Unifying the definitions of ClauseId to a single source of truth. | Tim King |
| 2016-01-26 | Merged bit-vector and uf proof branch. | Liana Hadarean |
| 2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | 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 |
| 2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
| 2014-11-17 | Resource-limiting work. | Liana Hadarean |
| 2014-10-06 | Fix a resource limiting issue where interruption didn't occur promptly. Than... | Morgan Deters |
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | 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-03 | * changing the bitblast-eager to bitblast on pre-register | Dejan Jovanović |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | 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 | added support for interrupting TheoryBV | Liana Hadarean |
| 2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
| 2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
| 2012-08-06 | removing the sat solver inmterface from being public | Dejan Jovanović |
| 2012-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
| 2012-06-14 | fixing the problems with the bvminisat. there was a case when things would ge... | Dejan Jovanović |
| 2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
| 2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
| 2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
| 2012-04-04 | * added propagation as lemmas to TheoryBV: | Liana Hadarean |
| 2012-03-28 | Some renaming and refactoring in SAT | Dejan Jovanović |
| 2012-03-26 | Global registry of SAT solvers, where they are registered at compile time. Th... | Dejan Jovanović |
| 2012-03-26 | More cleaning up. | Dejan Jovanović |
| 2012-03-26 | with a small fix | Dejan Jovanović |
| 2012-03-25 | moving minisat implementation into their respective directories (regular and bv) | Dejan Jovanović |
| 2012-03-25 | sat_module.h,cpp -> sat_solver.h,cpp (as intended) | Dejan Jovanović |
