cvc5.git
2012-10-08 Clark BarrettFixed problem in assertEqualityEngine: predicates that...
2012-10-08 Morgan Deterssmall fix for compat JNI library installation
2012-10-08 Morgan Detersfix SMT-LIBv2 compliance mode for bitvectors (was compl...
2012-10-06 Morgan Detersturn off cudd by default in configure script
2012-10-06 Morgan Deters* more complete support for --dump assertions:{pre...
2012-10-06 Morgan Deters* Clean up some options documentation
2012-10-06 Morgan Deters* Some documentation about building compatibility and...
2012-10-06 Morgan Deters* Include a few bug testcases for resolved bugs.
2012-10-06 Morgan Deters* Fix some regressions' expected outputs.
2012-10-05 Morgan Detersfix \file
2012-10-05 Morgan DetersBug-related:
2012-10-05 Dejan JovanovićBoolExpr removed and replaced with Expr
2012-10-04 Morgan Detersdisable model-generation by default in cvc3 compatibili...
2012-10-04 Clark BarrettImplemented array type enumerator, more fixes for models
2012-10-04 Morgan DetersIllegalArgumentException in java needs to be named...
2012-10-03 Andrew Reynoldsminor fix for mbqi in finite model finding
2012-10-03 Liana Hadareanimplemented collectModelInfo for TheoryBV
2012-10-03 Morgan Detersupdates to contrib scripts to match docs
2012-10-03 Morgan Detersbetter documentation, allow examples to be installed...
2012-10-03 Clark BarrettNew model code, mostly workin
2012-10-03 Morgan Detersnew README and INSTALL files
2012-10-03 Liana Hadareanadded support for interrupting TheoryBV
2012-10-03 Kshitij Bansal--wait-to-join / --no-wait-to-join option
2012-10-03 Dejan Jovanovićadding ::getBooleanVariables to the PropEngine
2012-10-02 Morgan Deters* re-enable some Z3 extended commands:
2012-10-02 Morgan Detersworkaround for a nasty CLN bug
2012-10-01 Kshitij Bansal"Fix" (disable) portfolio when using quantifiers
2012-10-01 Morgan Detersmake sure to mark LogicInfo as CVC4_PUBLIC
2012-10-01 Morgan Detersfix for dejan: term ITEs now dumped correctly
2012-10-01 Andrew Reynoldsinitial draft of skolemization during pre-processing...
2012-09-30 Morgan Detersminor changes to arithmetic assertions involving nonlin...
2012-09-30 Morgan Detersminor fixes to pickler (hopefully fixes Debian build...
2012-09-30 Morgan Detersrelease notes
2012-09-29 Tim KingCalling the setIncompleteness() flag on all full checks...
2012-09-29 Morgan DetersFix a few segfaults in driver.
2012-09-29 Morgan Detersdraft RELEASE-NOTES file, and minor release stuff
2012-09-29 Morgan Detersfixes to "make distclean" and C compatibility bindings...
2012-09-29 Morgan Detersfixes to "make distclean" and C compatibility bindings...
2012-09-29 Tim KingThis commit add interpretation by lemma for INTS_DIVISI...
2012-09-28 Kshitij BansalSome fixes to portfolio
2012-09-28 Morgan Detersfix distribution of cvc4_assert.i
2012-09-28 Morgan Detersfixes for compatibility (i.e., CVC3) Java bindings
2012-09-28 Morgan Detersrename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...
2012-09-28 Morgan Deterssome fixes to build system
2012-09-28 Morgan Detersfix production-build linking error
2012-09-28 Morgan DetersPublic interface review items:
2012-09-28 Morgan Deters* fix compatibility library naming for SMT-LIBv1
2012-09-27 Morgan Deters* Rename SMT parts (printer, parser) to SMT1
2012-09-27 Morgan Detersfinally, a portable solution
2012-09-27 Morgan Detersfix for non-Mac
2012-09-27 Morgan Detersspeed up mkoptions script (esp. on Macs)
2012-09-27 Morgan Detersbetter progress indicator for mkoptions
2012-09-26 Morgan Detersdisable building of cvc3_george system-test object...
2012-09-26 Morgan DetersFinish off SEXPR kind work.
2012-09-26 Andrew Reynoldsupdates to model generation : do not modify equality...
2012-09-26 Morgan DetersFix a handful of things for Mac, and Java bindings.
2012-09-26 Morgan Detersbug #398 test (bug was resolved last night), and a...
2012-09-26 Morgan DetersFix type checking for define-funs (resolves bug 398).
2012-09-26 Morgan DetersThe Tuesday Afternoon Catch-All Commit (TACAC):
2012-09-25 Morgan Detersfix
2012-09-25 Morgan Detersfix some Mac issues
2012-09-25 Morgan Deterssome buggy examples for incrementality, and make bug326...
2012-09-24 Dejan Jovanovićsome api changes
2012-09-24 Morgan DetersFix the memout issue seen in recent nightly regressions...
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces...
2012-09-22 Dejan Jovanovićanother fix for the equality class iterator
2012-09-21 Morgan DetersFixes for datatype dumping and printing. Add a new...
2012-09-21 Morgan DetersSMT-LIBv2 compliance updates:
2012-09-21 Morgan Detersbetter verbosity support (so it's sensible when the...
2012-09-20 Morgan Detersmap C++ exceptions to Java exceptions correctly when...
2012-09-20 Morgan Deterssome bugfixes that come as a result of debugging some...
2012-09-19 Morgan DetersGeneral subscriber infrastructure for NodeManager,...
2012-09-19 Morgan Detersfix subtle bug in NodeValue::toStream()
2012-09-19 Dejan Jovanovićfix for bug 370.
2012-09-19 Dejan JovanovićChanging the equality engines's euivalence class iterat...
2012-09-18 Morgan DetersSMT-LIBv2 compliance regarding outputting "unknown".
2012-09-17 Morgan Detersspeed up option-file generation on Mac OS by an order...
2012-09-17 Morgan Detersmore bindings fixes
2012-09-17 Andrew Reynoldsminor fix for models, added simple cliques option for...
2012-09-16 Morgan Detersenable bug regression for bug 382
2012-09-16 Andrew Reynoldsstore values returned by get-value in TheoryModel:...
2012-09-15 Morgan Detersminor interface improvements, compliance fixes
2012-09-15 Morgan Detersanother bindings fix (should fix debian build)
2012-09-15 Morgan Detersbug testcase for model generation
2012-09-14 Morgan Detersa fix for the java bindings for wei
2012-09-14 Morgan DetersFix a soundness bug reported by Matthias Weiler (had...
2012-09-14 Morgan DetersFix a few minor issues in options processing, improving...
2012-09-13 Andrew Reynoldsensure that get-value and get-model are consistent...
2012-09-12 Morgan DetersAdding model assertions after SAT responses.
2012-09-11 Andrew Reynoldsadded getCardinality to model
2012-09-11 Tim KingPartially reverting the changes made in 4308. There...
2012-09-10 Andrew Reynoldsmodified getValue to return Expr instead of Node
2012-09-10 Tim KingFixed an error in the rewriter Pascal pointed out....
2012-09-10 Morgan Deterslist portfolio_util.h in Makefile, so it gets distribut...
2012-09-08 Morgan DetersAdd [*] footnotes to --help output indicating for many...
2012-09-08 Morgan DetersSome minor changes after reviewing the portfolio "unifi...
2012-09-08 Kshitij BansalSingle driver for both sequential and portfolio
2012-09-06 Morgan Detersallow SmtEngine::setOption() for trace and debug tags
2012-09-06 Morgan Detersfixes to the compatibility layer; this fixes the broken...
2012-09-06 Morgan DetersRemove SmtEngine::getStackLevel(), which exposed implem...
next