cvc5.git
2011-12-12 Dejan Jovanović* merging some uf stuff from incremental_work branch...
2011-12-10 Dejan Jovanovićadding additional checks for theories propagating liter...
2011-12-10 Dejan Jovanovića bit more changes, when propagting equalities/dis...
2011-12-10 Dejan Jovanovićattempt to fix bug 293: if a split on a trivial shared...
2011-12-08 Morgan DetersDisable a BV rewriter statistic (after checking with...
2011-12-06 Morgan DetersLemmaStatus changes, as agreed to during 12/2 meeting.
2011-12-06 Morgan Detersoops, removing some integer operations that leaked...
2011-12-06 Morgan Detersfix errors in smt-lib2 output; needed for debugging
2011-12-05 Morgan Deterschange short-circuiting behavior of Command execution...
2011-12-02 Morgan DetersError detection is different now---with new Command...
2011-11-30 Morgan Detersdisable bug288.smt so that "make check" goes through...
2011-11-30 Morgan Detersfix linking errors on oneiric
2011-11-30 Tim KingSimplified bug288.smt to reflect the problem in integer...
2011-11-30 Tim KingAdded a failing regression test corresponding to bug...
2011-11-30 Tim KingAdding a failing UFLIA benchmark corresponding to bug...
2011-11-29 Tim KingMerging the branch branches/arithmetic/shared-terms...
2011-11-26 Morgan DetersFix Java JNI installation path
2011-11-22 Morgan Detersfix module name for CVC4 jar file; part of the fix...
2011-11-22 Morgan DetersMore language bindings work:
2011-11-16 Morgan DetersFix "make dist". Fixes to python and ruby bindings...
2011-11-16 Morgan DetersAddressed many of the concerns raised in the public...
2011-11-16 Morgan Detersfix to build system for java bindings
2011-11-16 Morgan Deters* Applying Andy's fix for datatypes bug #286; thanks...
2011-11-15 Morgan DetersBindings work (ocaml bindings are now sort of working...
2011-11-15 Morgan Detersadditional minor changes to get python binding on bette...
2011-11-15 Morgan Detersfixes for python language binding, added python example
2011-11-14 Morgan Deterspublic tests need to be linked against gmp/cln explicit...
2011-11-06 Morgan Detersdatatype stuff in compatibility interface implemented
2011-11-05 Morgan DetersContext::ScopedPush implemented (in support of theory...
2011-11-04 Morgan DetersSTRING_TYPE and CONST_STRING and associate type infrast...
2011-11-02 Morgan DetersOnly print a shortlist of most-commonly-used options...
2011-11-02 Morgan Detersgive an option error if the user specifies --proof...
2011-11-02 Morgan Detersfully implement the always-check-again-after-the-output...
2011-11-02 Morgan DetersSometimes antlr decides to generate lexers and parsers...
2011-11-02 Morgan Detersbetter Integer asserts when there's overflow on convers...
2011-11-01 Morgan DetersImprovements to header installation on user machines...
2011-10-31 Morgan Detersfixes to assertions in GMP to match CLN behavior
2011-10-31 Tim KingAdded assertions to the CLN implementation of Integer...
2011-10-31 Morgan Detersanother make distclean fix
2011-10-31 Morgan Detersfixes to "make distclean" and "make maintainerclean"
2011-10-31 Morgan Detersfix to "make install"
2011-10-29 Morgan Detersfix some doxygen warnings
2011-10-29 Morgan Deterssupport for proof regressions in other parts of the...
2011-10-29 Morgan Detersfix unit tests
2011-10-29 Morgan DetersSupport for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF...
2011-10-28 Morgan Detersproof regressions
2011-10-28 Morgan Deters* ability to output NodeBuilders without first converti...
2011-10-28 Liana Hadareanmerged the proofgen3 branch into trunk:
2011-10-28 Tim KingAdding a check in Polynomial::parsePolynomial to better...
2011-10-25 Kshitij BansalInitialize resource limit and millisecond limit options
2011-10-23 Morgan DetersImplement changes from yesterday morning's meeting...
2011-10-21 Morgan Deterssome printing and parser fixes for problems recently...
2011-10-21 Morgan Detersadd gcc version information to Configuration, and warn...
2011-10-20 Morgan Detersadd support for QF_AUFLIA and QF_AUFLIRA logic strings...
2011-10-19 Morgan Detersfix configure step on Ubuntu oneiric (11.10)-- related...
2011-10-19 Morgan Detersfix bug #264: competition / other static library builds...
2011-10-19 Tim KingAdding support for QF_UFLIA to the smt2 parser.
2011-10-19 Tim KingMerging the branch branches/arithmetic/push-pop-support...
2011-10-17 Dejan JovanovićSharing work
2011-10-13 Morgan Detersfix make dist
2011-10-13 Morgan DetersInterruption, time-out, and deterministic time-out...
2011-10-07 Morgan DetersSome new Datatype public functionality, as per Chris...
2011-10-06 Morgan Detersdon't build language bindings unless expressly requeste...
2011-10-05 Morgan DetersReverting a fix from earlier today that fixed a Mac...
2011-10-05 Morgan DetersensureLiteral() in CNF stream to support Andy's quantif...
2011-10-05 Morgan Detersminor visibility fixes
2011-10-05 Morgan Detersremove some debugging code that slowed down last night...
2011-10-04 Tim KingDisabling the variable removal hueristic by default.
2011-10-04 Morgan Detersalso add test case
2011-10-04 Morgan Detersfixes to context-dependent caching substitutions
2011-10-04 Morgan Detersadd a guard for history saving, to enable building...
2011-10-04 Morgan Deterscompatibility, bindings
2011-10-04 Morgan Deterscvc3 compatibility layer; and another libantlr3c v3...
2011-10-04 Morgan Deterscompat layer cleanup
2011-10-04 Morgan Detersoops, one more fix, hopefully the last
2011-10-04 Morgan DetersYet Another Antlr3 Mod---this time, all my fault: for...
2011-10-04 Morgan DetersOh, here's another cute compatibility fix for libantlr3...
2011-10-04 Morgan Detersmimicking Chris's recent contribution to QueryResult...
2011-10-04 Morgan Detersmore fixes for libantlr3c v3.4
2011-10-04 Morgan Deterssupport for configure-discovery of antlr3-3.4-beta4
2011-10-03 Morgan Detersuser push/pop support in minisat and simplification...
2011-10-03 Morgan DetersImporting Chris's recent changes to CVC3's ValidityChec...
2011-09-30 Morgan Detersfix to CNF undoTranslate(), to support incrementality
2011-09-30 Morgan Detersforgot to put some things in the distro
2011-09-30 Morgan Detersinterfaces fixes and cleanups...and examples of each...
2011-09-30 Morgan Detersmore push/pop infrastructure, some SAT stuff
2011-09-30 Morgan Detersfixes to incremental simplification, cnf routines,...
2011-09-29 Morgan Deterscompatibility work, documentation
2011-09-29 Morgan Detersbuild system fixes
2011-09-29 Morgan DetersSome base infrastructure for user push/pop; a few bugfi...
2011-09-29 Morgan Deterssome test fixes
2011-09-28 Morgan Detersanother make dist fix for java compat bindings
2011-09-28 Morgan Detersvariety of visibility fixes (should clean up some of...
2011-09-28 Morgan DetersCVC4::Integer was not marked CVC4_PUBLIC, causing dynam...
2011-09-28 Morgan Detersfixes for make dist ; make install
2011-09-28 Morgan Detersbetter fix for #281, also fix issue with command line...
2011-09-28 Morgan DetersRegular expressions in shell scripts on MacOS are incon...
2011-09-28 Morgan Detersremoved "typename" keyword (fix to bug 280)
2011-09-27 Morgan Detersmore interface work; adding legacy C interface
2011-09-25 Morgan Detersfirst crack at compatibility java interface (not built...
next