Age | Commit message (Expand) | Author |
2014-05-20 | Fix compiler warning (missing virtual dtor) | Morgan Deters |
2014-04-29 | Mostly resolves bug #561 memory leaks, and more. | Morgan Deters |
2014-03-19 | Appease compilers from latest XCode release (v5.1). | Morgan Deters |
2014-03-11 | Merge branch '1.3.x' | Morgan Deters |
2014-03-11 | Fix for rewriterules build breakage. | Morgan Deters |
2014-03-11 | Fix for random-seed option. | Morgan Deters |
2014-03-11 | Merge branch '1.3.x' | Morgan Deters |
2014-03-11 | Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok. | Morgan Deters |
2014-03-04 | Don't theory-preprocess under quantifiers; but DO theory-preprocess lemmas (r... | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-27 | Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin... | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-10-09 | fixed uf proof bug: now storing deleted theory lemmas | lianah |
2013-10-08 | fixed uf proof with holes bugs | lianah |
2013-10-07 | fixed some bugs | Liana Hadarean |
2013-10-07 | first draft implementation of uf proofs with holes | Liana Hadarean |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-06-25 | Proposed fix for bug #513 | Morgan Deters |
2013-05-10 | now proofs print mapping between atom and propositional variable as a comment... | lianah |
2013-05-10 | fixes to the proof system so it works with theory lemmas and explanations | lianah |
2013-05-08 | rm decision/relevancy | Kshitij Bansal |
2013-05-07 | fix for nonterminating model-based array loop | Morgan Deters |
2013-04-30 | added several rewrite rules (BitwiseSlicing, Ule/SleEliminate, ExtractSignExt... | lianah |
2013-04-30 | added bvule, bvsle operator elimination rulesl; added bvurem lemma generation | lianah |
2013-04-30 | added support for dumping the SAT problem the sat solver is working on | lianah |
2013-04-26 | Merge experimental decisionweight branch | Kshitij Bansal |
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-03-29 | removing cryptominisat since we're not using it | Dejan Jovanović |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | Morgan Deters |
2012-12-06 | * some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues | Morgan Deters |
2012-12-06 | * some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues | Morgan Deters |
2012-12-05 | This commit merges in CDTrailHashMap and CDInsertHashMap. CDHashSet now uses ... | Tim King |
2012-11-26 | fixup for incremental solving | Dejan Jovanović |
2012-11-14 | fix a race problem. due to interrupt mechanism minisat returned true instead ... | Kshitij Bansal |
2012-10-24 | fix for bug 429 | Dejan Jovanović |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-09 | * Add assertion in TheoryModel code to ensure we don't get inconsistent | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-10-05 | BoolExpr removed and replaced with Expr | Dejan Jovanović |
2012-10-03 | added support for interrupting TheoryBV | Liana Hadarean |
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-09-28 | Public interface review items: | Morgan Deters |