summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-02-03new miplib pass, works for 1 or 2 varsMorgan Deters
2013-02-03Remove old miplibtrick from arith static learnerMorgan Deters
2013-02-03correct output language bug with --dump-toMorgan Deters
2013-01-31Fix a small problem in clang builds due to namespaces and symbol lookupMorgan Deters
2013-01-31Adding a heuristic to more eagerly split bounded integer variables.Tim King
2013-01-29currently disabling bug486 regression. we need to discuss getValue/collectMo...Andrew Reynolds
2013-01-28fix for finite model finding caused by new collectModelInfo codeAndrew Reynolds
2013-01-28Updated NEWS for recent changes.Morgan Deters
2013-01-28Fixes for Win32 (closes bugs 488 and 489)Morgan Deters
2013-01-28Merge branch '1.0.x'Morgan Deters
2013-01-28Fix the regression test for bug 486, and enable itMorgan Deters
2013-01-28Fix the regression test for bug 486, and enable itMorgan Deters
2013-01-28made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_pro...Andrew Reynolds
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2013-01-28made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_pro...Andrew Reynolds
2013-01-27some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype...Andrew Reynolds
2013-01-27some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype...Andrew Reynolds
2013-01-26Merge branch '1.0.x'Morgan Deters
2013-01-26another fix for quantifier models (related to bug 486)Morgan Deters
2013-01-25fix --check-model --finite-model-find when used together (related to bug 486)Morgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2013-01-25fix --check-model --finite-model-find when used together (related to bug 486)Morgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2013-01-23Adding miplibtrick option.Tim King
2013-01-23Adding substitution size cap.Tim King
2013-01-23Merge branch '1.0.x'Morgan Deters
2013-01-23fix to workaround ANTLR 3.2 issue with initializationMorgan Deters
2013-01-23partially address bug 486: allow some model inspection of quantifiersMorgan Deters
2013-01-23partially address bug 486: allow some model inspection of quantifiersMorgan Deters
2013-01-23update NEWS fileMorgan Deters
2013-01-23add user patterns to the Smt1 parser; update NEWS fileMorgan Deters
2013-01-22Merge branch '1.0.x'Morgan Deters
2013-01-22fix for theory preprocessing cache on clang, perhaps others.Morgan Deters
2013-01-22Merge branch '1.0.x'Morgan Deters
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2013-01-19Merge branch '1.0.x'Morgan Deters
2013-01-19Fix an options-processing bug on some platforms (e.g., MacOS).Morgan Deters
2013-01-08SMT-LIB get-model output now is easier to machine-parse: contains (model...) ...Morgan Deters
2012-12-21Merge branch '1.0.x'Dejan Jovanović
2012-12-21adding copy constructor for the datatype enumeratorDejan Jovanović
2012-12-18Merge branch '1.0.x'Morgan Deters
2012-12-18Fix bug 483: readline checks must come after Boost checks in configureMorgan Deters
2012-12-18Fix printing of EXISTS in CVC language printerMorgan Deters
2012-12-18Fix bug 483: readline checks must come after Boost checks in configureMorgan Deters
2012-12-15Fix printing of EXISTS in CVC language printerMorgan Deters
2012-12-14Merging in patch from branch '1.0.x'.Tim King
2012-12-14Adding unit test for different versions of division.Tim King
2012-12-14Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.xTim King
2012-12-14Changing the rewriter to use Boute's Euclidean definition of division.Tim King
2012-12-12Merge pull request #2 from CVC4/1.0.xDejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback