Age | Commit message (Expand) | Author |
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 |
2011-04-04 | Merging the satliteral-before-prereg branch into trunk. Theory preregistratio... | 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-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-06-01 | In order for splitting on demand to be able to retract clauses every translat... | Dejan Jovanović |
2010-05-26 | Adding CnfStreamBlack tests for all Boolean connectives | Christopher L. Conway |
2010-05-26 | Fixing test failures in CnfStreamBlack (it was the test's fault) | Christopher L. Conway |
2010-05-26 | Adding CnfStream unit tests | Christopher L. Conway |