cvc5.git
2013-03-06 lianahmore slicer changes for incremental
2013-02-14 lianahstarted working on incremental slicer - not compiling
2013-02-11 lianahundid the caching that actually hurt performance
2013-02-05 Liana HadareanAdded path compression and caching for getBaseDecomposi...
2013-02-05 lianahFixing regression failure. The only unfixed ones seem...
2013-02-02 lianahmerged master into branch
2013-02-02 lianahminor changes.
2013-01-31 lianahdone fixing slicer bugs.
2013-01-31 Morgan DetersMerge branch '1.0.x'
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces...
2013-01-31 Tim KingAdding a heuristic to more eagerly split bounded intege...
2013-01-31 lianahfixed some more bugs
2013-01-30 Morgan Deterscorrect output language bug with --dump-to
2013-01-30 Liana Hadareanfixing slicer bugs.
2013-01-29 lianahfixes
2013-01-29 Andrew Reynoldscurrently disabling bug486 regression. we need to...
2013-01-29 Andrew Reynoldsfix for finite model finding caused by new collectModel...
2013-01-29 lianahcompiling implementation of new slicer finished; need...
2013-01-28 Morgan DetersUpdated NEWS for recent changes.
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489)
2013-01-28 Morgan DetersMerge branch '1.0.x'
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it
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-28 Morgan Deterssome fixes for win32, including ability to "make check...
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 Andrew Reynoldssome fixes for Intel benchmarks regarding quantifiers...
2013-01-27 Morgan DetersMerge branch '1.0.x'
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-25 Morgan DetersFix errors and reduce warnings on clang (merge from...
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used togethe...
2013-01-25 lianahstarting the slicer form scratch.
2013-01-25 lianahminor changes trying to optimize the slicing code
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some...
2013-01-23 Tim KingAdding miplibtrick option.
2013-01-23 Tim KingAdding substitution size cap.
2013-01-23 Morgan DetersMerge branch '1.0.x'
2013-01-23 Morgan Detersfix to workaround ANTLR 3.2 issue with initialization
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
2013-01-23 Morgan Detersupdate NEWS file
2013-01-23 Morgan Detersadd user patterns to the Smt1 parser; update NEWS file
2013-01-22 Morgan DetersMerge branch '1.0.x'
2013-01-22 Morgan Detersfix for theory preprocessing cache on clang, perhaps...
2013-01-22 Morgan DetersMerge branch '1.0.x'
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org)
2013-01-19 Morgan DetersMerge branch '1.0.x'
2013-01-19 Morgan DetersFix an options-processing bug on some platforms (e...
2013-01-15 lianahfixed more minor bugs
2013-01-11 lianahfixed most bugs and added paranoid assertions
2013-01-10 Liana Hadareanminor bug fixes
2013-01-10 Liana Hadareanslicer bug fixing
2013-01-08 Morgan DetersSMT-LIB get-model output now is easier to machine-parse...
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-13 lianahmore slicer bug fixes
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 Liana Hadareanfixed some slicer bugs; set up bv theory to run bit...
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-11 Liana Hadareanported my bv-core branch from svn to git
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
next