Age | Commit message (Expand) | Author |
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 |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-22 | another fix for the equality class iterator | Dejan Jovanović |
2012-09-21 | Fixes for datatype dumping and printing. Add a new test case for dumping. | Morgan Deters |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-09-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-09-20 | map C++ exceptions to Java exceptions correctly when they are thrown, and giv... | Morgan Deters |
2012-09-20 | some bugfixes that come as a result of debugging some CASCADE/C stuff.. | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-09-19 | fix subtle bug in NodeValue::toStream() | Morgan Deters |
2012-09-19 | fix for bug 370. | Dejan Jovanović |
2012-09-19 | Changing the equality engines's euivalence class iterator. Andy please check ... | Dejan Jovanović |
2012-09-18 | SMT-LIBv2 compliance regarding outputting "unknown". | Morgan Deters |
2012-09-17 | speed up option-file generation on Mac OS by an order of magnitude | Morgan Deters |
2012-09-17 | more bindings fixes | Morgan Deters |