Age | Commit message (Expand) | Author |
2012-10-04 | IllegalArgumentException in java needs to be named "CVC4IllegalArgumentExcept... | Morgan Deters |
2012-10-03 | minor fix for mbqi in finite model finding | Andrew Reynolds |
2012-10-03 | implemented collectModelInfo for TheoryBV | Liana Hadarean |
2012-10-03 | updates to contrib scripts to match docs | Morgan Deters |
2012-10-03 | better documentation, allow examples to be installed, etc | Morgan Deters |
2012-10-03 | New model code, mostly workin | Clark Barrett |
2012-10-03 | new README and INSTALL files | Morgan Deters |
2012-10-03 | added support for interrupting TheoryBV | Liana Hadarean |
2012-10-03 | --wait-to-join / --no-wait-to-join option | Kshitij Bansal |
2012-10-03 | adding ::getBooleanVariables to the PropEngine | Dejan Jovanović |
2012-10-02 | * re-enable some Z3 extended commands: | Morgan Deters |
2012-10-02 | workaround for a nasty CLN bug | Morgan Deters |
2012-10-01 | "Fix" (disable) portfolio when using quantifiers | Kshitij Bansal |
2012-10-01 | make sure to mark LogicInfo as CVC4_PUBLIC | Morgan Deters |
2012-10-01 | fix for dejan: term ITEs now dumped correctly | Morgan Deters |
2012-10-01 | initial draft of skolemization during pre-processing, made simple cliques the... | Andrew Reynolds |
2012-09-30 | minor changes to arithmetic assertions involving nonlinearity and models (rel... | Morgan Deters |
2012-09-30 | minor fixes to pickler (hopefully fixes Debian build from last night) | Morgan Deters |
2012-09-30 | release notes | Morgan Deters |
2012-09-29 | Calling the setIncompleteness() flag on all full checks once a non-linear ter... | Tim King |
2012-09-29 | Fix a few segfaults in driver. | Morgan Deters |
2012-09-29 | draft RELEASE-NOTES file, and minor release stuff | Morgan Deters |
2012-09-29 | fixes to "make distclean" and C compatibility bindings; should fix the broken... | Morgan Deters |
2012-09-29 | fixes to "make distclean" and C compatibility bindings; should fix the broken... | Morgan Deters |
2012-09-29 | This commit add interpretation by lemma for INTS_DIVISION, INTS_MODULUS, and ... | Tim King |
2012-09-28 | Some fixes to portfolio | Kshitij Bansal |
2012-09-28 | fix distribution of cvc4_assert.i | Morgan Deters |
2012-09-28 | fixes for compatibility (i.e., CVC3) Java bindings | Morgan Deters |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2012-09-28 | fix production-build linking error | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-09-27 | finally, a portable solution | Morgan Deters |
2012-09-27 | fix for non-Mac | Morgan Deters |
2012-09-27 | speed up mkoptions script (esp. on Macs) | Morgan Deters |
2012-09-27 | better progress indicator for mkoptions | Morgan Deters |
2012-09-26 | disable building of cvc3_george system-test object (which isn't used yet anyw... | Morgan Deters |
2012-09-26 | Finish off SEXPR kind work. | Morgan Deters |
2012-09-26 | updates to model generation : do not modify equality engine during getValue, ... | Andrew Reynolds |
2012-09-26 | Fix a handful of things for Mac, and Java bindings. | Morgan Deters |
2012-09-26 | bug #398 test (bug was resolved last night), and a script to download all bug... | Morgan Deters |
2012-09-26 | Fix type checking for define-funs (resolves bug 398). | Morgan Deters |
2012-09-26 | The Tuesday Afternoon Catch-All Commit (TACAC): | Morgan Deters |
2012-09-25 | fix | Morgan Deters |
2012-09-25 | fix some Mac issues | Morgan Deters |
2012-09-25 | some buggy examples for incrementality, and make bug326 run as part of make r... | Morgan Deters |
2012-09-24 | some api changes | Dejan Jovanović |
2012-09-24 | Fix the memout issue seen in recent nightly regressions (was due to a | Morgan Deters |