cvc5.git
2013-02-26 Morgan DetersBug fix for rep-set.
2013-02-26 Morgan DetersFix for quantifiers containing Boolean terms.
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4...
2013-02-26 lianahfix for bv crash in incremental mode; this is a tempora...
2013-02-17 Kshitij Bansalgitinfo modifications fix
2013-02-16 Morgan DetersFix typo in error message
2013-02-15 Kshitij Bansalprvs commit: lower warning to notice
2013-02-15 Kshitij BansalMerge pull request #5 from kbansal/1.0.x
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental
2013-02-15 Morgan DetersFix builds/ links to survive configuring twice with...
2013-02-15 Morgan DetersFix ECHO command in CVC language parser to not output...
2013-02-15 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot...
2013-02-14 Tim KingRemoving BVDebug and replacing with Debug.
2013-02-07 Morgan DetersOnly put quantifier assertions in model equality engine...
2013-02-07 Morgan DetersSignificant work on bug #491 (not yet closed).
2013-02-07 Morgan DetersMore complete fix for bug 484 (includes fixes for recor...
2013-02-07 Morgan DetersFix error in tuple type-checking.
2013-02-07 Morgan DetersMake --default-dag-thresh apply to stringstreams
2013-02-07 Morgan DetersDo not install the "private-library" header
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio...
2013-02-05 Morgan DetersFix a compiler warning in NodeBuilder
2013-02-05 Kshitij BansalMerge pull request #3 from kbansal/1.0.x
2013-02-05 Kshitij Bansaldecision/ : save d_prvsIndex in JH
2013-02-05 Morgan Detersdos2unix conversion for a number of files; this avoids...
2013-02-04 Morgan DetersFix NodeBuilder bug which could attempt to allocate...
2013-02-04 Morgan Detersdriver::totalTime statistic is now reported correctly...
2013-02-04 Morgan DetersModel no longer adds subterms of quantifiers to equalit...
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-genera...
2013-01-30 Morgan Deterscorrect output language bug with --dump-to
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it
2013-01-28 Andrew Reynoldsmade QuantifiersEngine::d_inst_match_trie and Quantifie...
2013-01-27 Andrew Reynoldssome fixes for Intel benchmarks regarding quantifiers...
2013-01-27 Morgan Detersanother fix for quantifier models (related to bug 486)
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used togethe...
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
2013-01-23 Morgan Detersupdate NEWS file
2013-01-22 Morgan Detersfix for theory preprocessing cache on clang, perhaps...
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org)
2013-01-19 Morgan DetersFix an options-processing bug on some platforms (e...
2012-12-22 Dejan Jovanovićadding copy constructor for the datatype enumerator
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 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 #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 DetersSMT-LIB compliance fix to get-assignment; resolves...
2012-12-11 Morgan DetersIgnore unknown term annotations (giving a warning)...
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix...
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error...
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 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-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...
next