cvc5.git
2012-12-22 Dejan JovanovićMerge branch '1.0.x'
2012-12-22 Dejan Jovanovićadding copy constructor for the datatype enumerator
2012-12-18 Morgan DetersMerge branch '1.0.x'
2012-12-18 Morgan DetersFix bug 483: readline checks must come after Boost...
2012-12-18 Morgan DetersFix printing of EXISTS in CVC language printer
2012-12-18 Morgan DetersFix bug 483: readline checks must come after Boost...
2012-12-16 Morgan DetersFix printing of EXISTS in CVC language printer
2012-12-15 Tim KingMerging in patch from branch '1.0.x'.
2012-12-15 Tim KingAdding unit test for different versions of division.
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into...
2012-12-15 Tim KingChanging the rewriter to use Boute's Euclidean definiti...
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x
2012-12-12 Dejan JovanovićMerge pull request #1 from lianah/1.0.x
2012-12-12 lianah* fixed bug 481 by adding check for division by 0 in...
2012-12-11 Morgan DetersMerge branch '1.0.x', getting fix for bug 480
2012-12-11 Morgan DetersSMT-LIB compliance fix to get-assignment; resolves...
2012-12-11 Morgan DetersMerge branch '1.0.x' (getting fix for bug 479)
2012-12-11 Morgan DetersIgnore unknown term annotations (giving a warning)...
2012-12-11 Morgan DetersMerge branch '1.0.x'
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix...
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix...
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476).
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error...
2012-12-07 François BobotMerge release branch '1.0.x'
2012-12-07 Morgan DetersFix to portfolio builds
2012-12-07 Kshitij BansalFix performance issue in a DFS search (bug 474)
2012-12-06 Morgan DetersFix to portfolio builds
2012-12-06 Kshitij BansalFix performance issue in a DFS search (bug 474)
2012-12-06 François BobotMerge branch 'release-1.0.x'
2012-12-06 Morgan Deters* some build fixes; thanks; thanks to Kunal Ganeshpure...
2012-12-06 Morgan Detersdistribute the find_public_interface.sh script
2012-12-06 Morgan Detersversion numbering
2012-12-06 Clark BarrettFix for fuzzer-found model bug
2012-12-06 Morgan Deters* tuple and record support in compatibility library
2012-12-06 Morgan Deters* some build fixes; thanks; thanks to Kunal Ganeshpure...
2012-12-05 Tim KingImproved garbage collection for TheoryArith. The merge...
2012-12-05 Tim KingCleanup of arithmetic, and some new utility functions...
2012-12-05 Tim KingThis commit merges in CDTrailHashMap and CDInsertHashMa...
2012-12-04 Kshitij Bansal* Add support for --decision=justification + incrementa...
2012-12-03 Morgan Detersdistribute the find_public_interface.sh script
2012-12-03 Morgan Detersversion numbering
2012-12-03 Clark BarrettFix for fuzzer-found model bug
2012-12-01 Morgan DetersCutting release 1.0.
2012-12-01 Morgan Detersfix cut-release sanity checks
2012-12-01 Morgan Detersfix to TNode assertion (which is too strict, given...
2012-12-01 Clark BarrettThrow a logic exception if user makes an assertion...
2012-12-01 Morgan Detersremove instantiator framework
2012-12-01 Morgan DetersFix the way abstract values are typed; fixes some compl...
2012-12-01 Morgan Detersfix memory corruption issue in debug builds that led...
2012-12-01 Morgan Detersremove an obsolete (and incorrect) assertion in boolean...
2012-12-01 Morgan Detersfix java system test dependences
2012-12-01 Andrew Reynoldsdrastic simplification of quantifiers code regarding...
2012-12-01 Tim KingFix for a CLN related bug on 32 bit systems. Integer...
2012-12-01 Morgan DetersSome fixes for boolean arrays
2012-12-01 Morgan Detersfix #line annotation warning
2012-12-01 Morgan Detersupdated examples
2012-12-01 Liana Hadareanadded a new example for the combination of bit-vectors...
2012-12-01 Morgan Detersanother part of last commit
2012-12-01 Morgan Detersdefinition-expansion fixed for get-model, resolves...
2012-12-01 Tim KingPolishing API examples.
2012-12-01 Tim KingAdding SmtEngine::setLogic(const char* logic) so that...
2012-11-30 Tim KingFixes for stricter compilers Andy brought to my attention.
2012-11-30 Tim KingChanging the documentation of ARR_TABLE_FUN to say...
2012-11-30 Morgan Detersall API examples now have java versions too; bitvectors...
2012-11-30 Morgan Detersincorporating some comments from Clark
2012-11-30 Clark BarrettFix assertion in smt_engine's getValue
2012-11-30 Tim KingUpdating the combination.cpp example.
2012-11-30 Tim KingCommitting tests to potentially discover an obscure...
2012-11-30 Morgan Detersrenaming --smtlib to --smtlib-strict; removing --smtlib...
2012-11-30 Morgan Detersinternal variables (skolems) aren't printed as part...
2012-11-30 Morgan Deterschange detection/handling of output language more reaso...
2012-11-30 Andrew Reynoldsquantifiers now uses master equality engine, preparatio...
2012-11-30 Andrew Reynoldsparametric datatypes fix related to non-ascribed type...
2012-11-30 Liana Hadareanadded a simple API example example showing how to use...
2012-11-30 Tim KingChanges to SExpr to accept autoconversion from bool...
2012-11-30 Tim KingAdding smtname level options for tlimit, rlimit, etc...
2012-11-30 Morgan DetersPartial fix for bug 435; still needs some effort.
2012-11-30 Morgan DetersAdd some regressions for bug 438.
2012-11-30 Morgan Detersfix rewrite-rules syntax in regression
2012-11-30 Morgan Detersminor fix to release script
2012-11-30 François Bobotfix the syntax of assert-rewrite/-propagation/-reductio...
2012-11-29 Kshitij Bansalreliable benchmark corresponding to bug468
2012-11-29 Andrew Reynoldsrequire type ascriptions for parametric datatype constr...
2012-11-29 Morgan DetersFix for hidden symbols in library on Mac. It's a stran...
2012-11-29 Andrew Reynoldsfixes bug 438, incorporate subtypes into type unificati...
2012-11-29 Morgan Detersfix for andy: boolean terms stuff really shouldn't...
2012-11-29 Morgan Detersminor documentation fix
2012-11-29 Morgan Deterssvn:ignore property
2012-11-29 Clark BarrettFix for nasty corner case found by fuzzer...
2012-11-29 Kshitij BansalHack to support global variables for CVC language exten...
2012-11-29 Clark BarrettFixing function models with Boolean terms. Also, LAMBD...
2012-11-28 Tim KingAdding the helloworld.cpp example.
2012-11-28 Kshitij Bansalfix a potential race (have failed to reproduce)
2012-11-28 Clark BarrettFix for getValue. Now it can handle lambda applications
2012-11-28 Morgan DetersAttempted "quick-fix" for QF_UF performance regression...
2012-11-28 Kshitij Bansaltreat all get commands like getValue (send only to...
2012-11-28 Kshitij Bansalminor
2012-11-28 Morgan Detersupdate to release notes
2012-11-28 Morgan DetersBug fix:
2012-11-28 Morgan Detersfix: correct misleading comment in dump output
next