projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-02-08 Morgan DetersFix user-values in SMT-LIB v1.2 commit | commitdiff | tree
2013-02-08 Morgan DetersMerge branch '1.0.x' 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-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptio... commit | commitdiff | tree
2013-02-05 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-05 Morgan DetersFix a compiler warning in NodeBuilder commit | commitdiff | tree
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' commit | commitdiff | tree
2013-02-05 Kshitij BansalMerge pull request #3 from kbansal/1.0.x commit | commitdiff | tree
2013-02-05 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-05 Morgan Detersremove now-unnecessary wrappers from Type interface commit | commitdiff | tree
2013-02-05 Morgan DetersFix to miplib trick to make it less "cautious" and... 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-05 Andrew ReynoldsMore improvements for E-matching commit | commitdiff | tree
2013-02-04 Morgan DetersMerge branch '1.0.x' 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 Detersfixed files with DOS newlines; fixed contrib/ scripts... commit | commitdiff | tree
2013-02-04 Morgan DetersSome fixes for the miplib preprocessing pass. commit | commitdiff | tree
2013-02-04 Morgan DetersPrinting commands as they're executed now requires... commit | commitdiff | tree
2013-02-04 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-04 Morgan DetersModel no longer adds subterms of quantifiers to equalit... commit | commitdiff | tree
2013-02-04 Andrew ReynoldsModel no longer adds subterms of quantifiers to equalit... commit | commitdiff | tree
2013-02-03 Morgan DetersSome cleanup of miplib regressions and options commit | commitdiff | tree
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902... commit | commitdiff | tree
2013-02-03 Morgan Detersnew option for doing top-level miplib substitutions... commit | commitdiff | tree
2013-02-03 Morgan Detersextended miplib trick to 6 vars, should work on pp... commit | commitdiff | tree
2013-02-03 Morgan Detersnew miplib pass, works for 1 or 2 vars commit | commitdiff | tree
2013-02-03 Morgan DetersRemove old miplibtrick from arith static learner commit | commitdiff | tree
2013-02-03 Morgan Deterscorrect output language bug with --dump-to commit | commitdiff | tree
2013-02-01 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-genera... commit | commitdiff | tree
2013-01-31 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces... commit | commitdiff | tree
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces... commit | commitdiff | tree
2013-01-31 Tim KingAdding a heuristic to more eagerly split bounded intege... commit | commitdiff | tree
2013-01-30 Morgan Deterscorrect output language bug with --dump-to commit | commitdiff | tree
2013-01-29 Andrew Reynoldscurrently disabling bug486 regression. we need to... commit | commitdiff | tree
2013-01-29 Andrew Reynoldsfix for finite model finding caused by new collectModel... commit | commitdiff | tree
2013-01-28 Morgan DetersUpdated NEWS for recent changes. commit | commitdiff | tree
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489) commit | commitdiff | tree
2013-01-28 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it 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-28 Morgan Deterssome fixes for win32, including ability to "make check... 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 Andrew Reynoldssome fixes for Intel benchmarks regarding quantifiers... commit | commitdiff | tree
2013-01-27 Morgan DetersMerge branch '1.0.x' 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-25 Morgan DetersFix errors and reduce warnings on clang (merge from... commit | commitdiff | tree
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used togethe... commit | commitdiff | tree
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some... commit | commitdiff | tree
2013-01-23 Tim KingAdding miplibtrick option. commit | commitdiff | tree
2013-01-23 Tim KingAdding substitution size cap. commit | commitdiff | tree
2013-01-23 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-23 Morgan Detersfix to workaround ANTLR 3.2 issue with initialization commit | commitdiff | tree
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection... 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-23 Morgan Detersadd user patterns to the Smt1 parser; update NEWS file commit | commitdiff | tree
2013-01-22 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-22 Morgan Detersfix for theory preprocessing cache on clang, perhaps... commit | commitdiff | tree
2013-01-22 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) commit | commitdiff | tree
2013-01-19 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2013-01-19 Morgan DetersFix an options-processing bug on some platforms (e... commit | commitdiff | tree
2013-01-08 Morgan DetersSMT-LIB get-model output now is easier to machine-parse... commit | commitdiff | tree
2012-12-22 Dejan JovanovićMerge branch '1.0.x' commit | commitdiff | tree
2012-12-22 Dejan Jovanovićadding copy constructor for the datatype enumerator commit | commitdiff | tree
2012-12-18 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2012-12-18 Morgan DetersFix bug 483: readline checks must come after Boost... commit | commitdiff | tree
2012-12-18 Morgan DetersFix printing of EXISTS in CVC language printer 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 KingMerging in patch from branch '1.0.x'. 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 #2 from CVC4/1.0.x 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 DetersMerge branch '1.0.x', getting fix for bug 480 commit | commitdiff | tree
2012-12-11 Morgan DetersSMT-LIB compliance fix to get-assignment; resolves... commit | commitdiff | tree
2012-12-11 Morgan DetersMerge branch '1.0.x' (getting fix for bug 479) commit | commitdiff | tree
2012-12-11 Morgan DetersIgnore unknown term annotations (giving a warning)... commit | commitdiff | tree
2012-12-11 Morgan DetersMerge branch '1.0.x' commit | commitdiff | tree
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix... commit | commitdiff | tree
2012-12-11 Andrew Reynoldsadding cache for preprocessing datatypes terms to fix... commit | commitdiff | tree
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476). commit | commitdiff | tree
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error... commit | commitdiff | tree
2012-12-07 François BobotMerge release branch '1.0.x' commit | commitdiff | tree
next