Age | Commit message (Expand) | Author |
2012-03-25 | sat.h,cpp -> theory_proxy.h,cpp (this is what it defines) | Dejan Jovanović |
2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |
2012-02-22 | Added OutputChannel::propagateAsDecision() functionality, allowing a theory | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-11-02 | fully implement the always-check-again-after-the-output-channel-is-used fix f... | Morgan Deters |
2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | * Changing pre-registration to be context dependent -- it is called from the ... | Dejan Jovanović |
2011-08-17 | new implementation of lemmas on demand | Dejan Jovanović |
2011-04-14 | Three things: | Morgan Deters |
2011-04-13 | fix compiler warning in non-replay builds | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |
2010-11-19 | Merge from ufprop branch, including: | Morgan Deters |
2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
2010-08-16 | Fixing failures in minisat | Dejan Jovanović |
2010-07-10 | Fix for the type in sat propagation. | Dejan Jovanović |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
2010-06-29 | Merging the unate-propagator branch into the trunk. This is a big update so ... | Tim King |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-05-25 | Some initial changes to allow for lemmas on demand. | Dejan Jovanović |
2010-05-14 | Adding debugging code in PropEngine/CnfStream | Christopher L. Conway |
2010-05-13 | Minor refactorings to PropEngine, SatSolver | Christopher L. Conway |