projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... commit | commitdiff | tree
2013-02-26 lianahfix for bv crash in incremental mode; this is a tempora... commit | commitdiff | tree
2013-02-17 Kshitij Bansalgitinfo modifications fix commit | commitdiff | tree
2013-02-16 Morgan DetersFix typo in error message commit | commitdiff | tree
2013-02-15 Kshitij Bansalprvs commit: lower warning to notice commit | commitdiff | tree
2013-02-15 Kshitij BansalMerge pull request #5 from kbansal/1.0.x commit | commitdiff | tree
2013-02-15 Kshitij Bansalmake incremental+portfolio experimental commit | commitdiff | tree
2013-02-15 Morgan DetersFix builds/ links to survive configuring twice with... commit | commitdiff | tree
2013-02-15 Morgan DetersFix ECHO command in CVC language parser to not output... commit | commitdiff | tree
2013-02-15 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot... commit | commitdiff | tree
2013-02-14 Tim KingRemoving BVDebug and replacing with Debug. commit | commitdiff | tree
2013-02-07 Morgan DetersOnly put quantifier assertions in model equality engine... commit | commitdiff | tree
2013-02-07 Morgan DetersSignificant work on bug #491 (not yet closed). commit | commitdiff | tree
2013-02-07 Morgan DetersMore complete fix for bug 484 (includes fixes for recor... commit | commitdiff | tree
2013-02-07 Morgan DetersFix error in tuple type-checking. commit | commitdiff | tree
2013-02-07 Morgan DetersMake --default-dag-thresh apply to stringstreams commit | commitdiff | tree
2013-02-07 Morgan DetersDo not install the "private-library" header commit | commitdiff | tree
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio... commit | commitdiff | tree
2013-02-05 Morgan DetersFix a compiler warning in NodeBuilder commit | commitdiff | tree
2013-02-05 Kshitij BansalMerge pull request #3 from kbansal/1.0.x commit | commitdiff | tree
2013-02-05 Kshitij Bansaldecision/ : save d_prvsIndex in JH commit | commitdiff | tree
2013-02-05 Morgan Detersdos2unix conversion for a number of files; this avoids... commit | commitdiff | tree
2013-02-04 Morgan DetersFix NodeBuilder bug which could attempt to allocate... commit | commitdiff | tree
2013-02-04 Morgan Detersdriver::totalTime statistic is now reported correctly... commit | commitdiff | tree
2013-02-04 Morgan DetersModel no longer adds subterms of quantifiers to equalit... commit | commitdiff | tree
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-genera... commit | commitdiff | tree
2013-01-30 Morgan Deterscorrect output language bug with --dump-to commit | commitdiff | tree
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it commit | commitdiff | tree
2013-01-28 Andrew Reynoldsmade QuantifiersEngine::d_inst_match_trie and Quantifie... commit | commitdiff | tree
2013-01-27 Andrew Reynoldssome fixes for Intel benchmarks regarding quantifiers... commit | commitdiff | tree
2013-01-27 Morgan Detersanother fix for quantifier models (related to bug 486) commit | commitdiff | tree
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used togethe... commit | commitdiff | tree
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection... commit | commitdiff | tree
2013-01-23 Morgan Detersupdate NEWS file commit | commitdiff | tree
2013-01-22 Morgan Detersfix for theory preprocessing cache on clang, perhaps... commit | commitdiff | tree
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) commit | commitdiff | tree
2013-01-19 Morgan DetersFix an options-processing bug on some platforms (e... commit | commitdiff | tree
2012-12-22 Dejan Jovanovićadding copy constructor for the datatype enumerator commit | commitdiff | tree
2012-12-18 Morgan DetersFix bug 483: readline checks must come after Boost... commit | commitdiff | tree
2012-12-16 Morgan DetersFix printing of EXISTS in CVC language printer commit | commitdiff | tree
2012-12-15 Tim KingAdding unit test for different versions of division. commit | commitdiff | tree
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into... commit | commitdiff | tree
2012-12-15 Tim KingChanging the rewriter to use Boute's Euclidean definiti... commit | commitdiff | tree
2012-12-12 Dejan JovanovićMerge pull request #1 from lianah/1.0.x commit | commitdiff | tree
2012-12-12 lianah* fixed bug 481 by adding check for division by 0 in... commit | commitdiff | tree
2012-12-11 Morgan DetersSMT-LIB compliance fix to get-assignment; resolves... commit | commitdiff | tree
2012-12-11 Morgan DetersIgnore unknown term annotations (giving a warning)... commit | commitdiff | tree
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix... commit | commitdiff | tree
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error... commit | commitdiff | tree
2012-12-07 Morgan DetersFix to portfolio builds commit | commitdiff | tree
2012-12-07 Kshitij BansalFix performance issue in a DFS search (bug 474) commit | commitdiff | tree
2012-12-06 Morgan Deters* some build fixes; thanks; thanks to Kunal Ganeshpure... commit | commitdiff | tree
2012-12-06 Morgan Detersdistribute the find_public_interface.sh script commit | commitdiff | tree
2012-12-06 Morgan Detersversion numbering commit | commitdiff | tree
2012-12-06 Clark BarrettFix for fuzzer-found model bug commit | commitdiff | tree
2012-12-01 Morgan DetersCutting release 1.0. commit | commitdiff | tree
2012-12-01 Morgan Detersfix cut-release sanity checks commit | commitdiff | tree
2012-12-01 Morgan Detersfix to TNode assertion (which is too strict, given... commit | commitdiff | tree
2012-12-01 Clark BarrettThrow a logic exception if user makes an assertion... commit | commitdiff | tree
2012-12-01 Morgan Detersremove instantiator framework commit | commitdiff | tree
2012-12-01 Morgan DetersFix the way abstract values are typed; fixes some compl... commit | commitdiff | tree
2012-12-01 Morgan Detersfix memory corruption issue in debug builds that led... commit | commitdiff | tree
2012-12-01 Morgan Detersremove an obsolete (and incorrect) assertion in boolean... commit | commitdiff | tree
2012-12-01 Morgan Detersfix java system test dependences commit | commitdiff | tree
2012-12-01 Andrew Reynoldsdrastic simplification of quantifiers code regarding... commit | commitdiff | tree
2012-12-01 Tim KingFix for a CLN related bug on 32 bit systems. Integer... commit | commitdiff | tree
2012-12-01 Morgan DetersSome fixes for boolean arrays commit | commitdiff | tree
2012-12-01 Morgan Detersfix #line annotation warning commit | commitdiff | tree
2012-12-01 Morgan Detersupdated examples commit | commitdiff | tree
2012-12-01 Liana Hadareanadded a new example for the combination of bit-vectors... commit | commitdiff | tree
2012-12-01 Morgan Detersanother part of last commit commit | commitdiff | tree
2012-12-01 Morgan Detersdefinition-expansion fixed for get-model, resolves... commit | commitdiff | tree
2012-12-01 Tim KingPolishing API examples. commit | commitdiff | tree
2012-12-01 Tim KingAdding SmtEngine::setLogic(const char* logic) so that... commit | commitdiff | tree
2012-11-30 Tim KingFixes for stricter compilers Andy brought to my attention. commit | commitdiff | tree
2012-11-30 Tim KingChanging the documentation of ARR_TABLE_FUN to say... commit | commitdiff | tree
2012-11-30 Morgan Detersall API examples now have java versions too; bitvectors... commit | commitdiff | tree
2012-11-30 Morgan Detersincorporating some comments from Clark commit | commitdiff | tree
2012-11-30 Clark BarrettFix assertion in smt_engine's getValue commit | commitdiff | tree
2012-11-30 Tim KingUpdating the combination.cpp example. commit | commitdiff | tree
2012-11-30 Tim KingCommitting tests to potentially discover an obscure... commit | commitdiff | tree
2012-11-30 Morgan Detersrenaming --smtlib to --smtlib-strict; removing --smtlib... commit | commitdiff | tree
2012-11-30 Morgan Detersinternal variables (skolems) aren't printed as part... commit | commitdiff | tree
2012-11-30 Morgan Deterschange detection/handling of output language more reaso... commit | commitdiff | tree
2012-11-30 Andrew Reynoldsquantifiers now uses master equality engine, preparatio... commit | commitdiff | tree
2012-11-30 Andrew Reynoldsparametric datatypes fix related to non-ascribed type... commit | commitdiff | tree
2012-11-30 Liana Hadareanadded a simple API example example showing how to use... commit | commitdiff | tree
2012-11-30 Tim KingChanges to SExpr to accept autoconversion from bool... commit | commitdiff | tree
2012-11-30 Tim KingAdding smtname level options for tlimit, rlimit, etc... commit | commitdiff | tree
2012-11-30 Morgan DetersPartial fix for bug 435; still needs some effort. commit | commitdiff | tree
2012-11-30 Morgan DetersAdd some regressions for bug 438. commit | commitdiff | tree
2012-11-30 Morgan Detersfix rewrite-rules syntax in regression commit | commitdiff | tree
2012-11-30 Morgan Detersminor fix to release script commit | commitdiff | tree
2012-11-30 François Bobotfix the syntax of assert-rewrite/-propagation/-reductio... commit | commitdiff | tree
2012-11-29 Kshitij Bansalreliable benchmark corresponding to bug468 commit | commitdiff | tree
2012-11-29 Andrew Reynoldsrequire type ascriptions for parametric datatype constr... commit | commitdiff | tree
2012-11-29 Morgan DetersFix for hidden symbols in library on Mac. It's a stran... commit | commitdiff | tree
2012-11-29 Andrew Reynoldsfixes bug 438, incorporate subtypes into type unificati... commit | commitdiff | tree
2012-11-29 Morgan Detersfix for andy: boolean terms stuff really shouldn't... commit | commitdiff | tree
2012-11-29 Morgan Detersminor documentation fix commit | commitdiff | tree
next