Age | Commit message (Expand) | Author |
2013-01-28 | Fixes for Win32 (closes bugs 488 and 489) | Morgan Deters |
2013-01-28 | Merge branch '1.0.x' | Morgan Deters |
2013-01-28 | Fix the regression test for bug 486, and enable it | Morgan Deters |
2013-01-28 | Fix the regression test for bug 486, and enable it | Morgan Deters |
2013-01-28 | made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_pro... | Andrew Reynolds |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2013-01-28 | made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_pro... | Andrew Reynolds |
2013-01-27 | some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype... | Andrew Reynolds |
2013-01-27 | some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype... | Andrew Reynolds |
2013-01-26 | Merge branch '1.0.x' | Morgan Deters |
2013-01-26 | another fix for quantifier models (related to bug 486) | Morgan Deters |
2013-01-25 | fix --check-model --finite-model-find when used together (related to bug 486) | Morgan Deters |
2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | Morgan Deters |
2013-01-25 | fix --check-model --finite-model-find when used together (related to bug 486) | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2013-01-23 | Adding miplibtrick option. | Tim King |
2013-01-23 | Adding substitution size cap. | Tim King |
2013-01-23 | Merge branch '1.0.x' | Morgan Deters |
2013-01-23 | fix to workaround ANTLR 3.2 issue with initialization | Morgan Deters |
2013-01-23 | partially address bug 486: allow some model inspection of quantifiers | Morgan Deters |
2013-01-23 | partially address bug 486: allow some model inspection of quantifiers | Morgan Deters |
2013-01-23 | update NEWS file | Morgan Deters |
2013-01-23 | add user patterns to the Smt1 parser; update NEWS file | Morgan Deters |
2013-01-22 | Merge branch '1.0.x' | Morgan Deters |
2013-01-22 | fix for theory preprocessing cache on clang, perhaps others. | Morgan Deters |
2013-01-22 | Merge branch '1.0.x' | Morgan Deters |
2013-01-22 | update ANTLR URLs (antlr.org -> antlr3.org) | Morgan Deters |
2013-01-19 | Merge branch '1.0.x' | Morgan Deters |
2013-01-19 | Fix an options-processing bug on some platforms (e.g., MacOS). | Morgan Deters |
2013-01-08 | SMT-LIB get-model output now is easier to machine-parse: contains (model...) ... | Morgan Deters |
2012-12-21 | Merge branch '1.0.x' | Dejan Jovanović |
2012-12-21 | adding copy constructor for the datatype enumerator | Dejan Jovanović |
2012-12-18 | Merge branch '1.0.x' | Morgan Deters |
2012-12-18 | Fix bug 483: readline checks must come after Boost checks in configure | Morgan Deters |
2012-12-18 | Fix printing of EXISTS in CVC language printer | Morgan Deters |
2012-12-18 | Fix bug 483: readline checks must come after Boost checks in configure | Morgan Deters |
2012-12-15 | Fix printing of EXISTS in CVC language printer | Morgan Deters |
2012-12-14 | Merging in patch from branch '1.0.x'. | Tim King |
2012-12-14 | Adding unit test for different versions of division. | Tim King |
2012-12-14 | Merge remote-tracking branch 'main-repo/1.0.x' into 1.0.x | Tim King |
2012-12-14 | Changing the rewriter to use Boute's Euclidean definition of division. | Tim King |
2012-12-12 | Merge pull request #2 from CVC4/1.0.x | Dejan Jovanović |
2012-12-12 | Merge pull request #1 from lianah/1.0.x | Dejan Jovanović |
2012-12-12 | * fixed bug 481 by adding check for division by 0 in bit-vector division circuit | lianah |
2012-12-11 | Merge branch '1.0.x', getting fix for bug 480 | Morgan Deters |
2012-12-11 | SMT-LIB compliance fix to get-assignment; resolves bug 480 | Morgan Deters |
2012-12-11 | Merge branch '1.0.x' (getting fix for bug 479) | Morgan Deters |
2012-12-11 | Ignore unknown term annotations (giving a warning). Resolves bug 479. | Morgan Deters |
2012-12-11 | Merge branch '1.0.x' | Morgan Deters |
2012-12-11 | adding cache for preprocessing datatypes terms to fix bug 475, fix for handli... | Andrew Reynolds |