2013-01-29 |
Andrew Reynolds | currently disabling bug486 regression. we need to... |
commit | commitdiff | tree |
2013-01-29 |
Andrew Reynolds | fix for finite model finding caused by new collectModel... |
commit | commitdiff | tree |
2013-01-28 |
Morgan Deters | Updated NEWS for recent changes. |
commit | commitdiff | tree |
2013-01-28 |
Morgan Deters | Fixes for Win32 (closes bugs 488 and 489) |
commit | commitdiff | tree |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2013-01-28 |
Morgan Deters | Fix the regression test for bug 486, and enable it |
commit | commitdiff | tree |
2013-01-28 |
Morgan Deters | Fix the regression test for bug 486, and enable it |
commit | commitdiff | tree |
2013-01-28 |
Andrew Reynolds | made QuantifiersEngine::d_inst_match_trie and Quantifie... |
commit | commitdiff | tree |
2013-01-28 |
Morgan Deters | some fixes for win32, including ability to "make check... |
commit | commitdiff | tree |
2013-01-28 |
Andrew Reynolds | made QuantifiersEngine::d_inst_match_trie and Quantifie... |
commit | commitdiff | tree |
2013-01-27 |
Andrew Reynolds | some fixes for Intel benchmarks regarding quantifiers... |
commit | commitdiff | tree |
2013-01-27 |
Andrew Reynolds | some fixes for Intel benchmarks regarding quantifiers... |
commit | commitdiff | tree |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2013-01-27 |
Morgan Deters | another fix for quantifier models (related to bug 486) |
commit | commitdiff | tree |
2013-01-25 |
Morgan Deters | fix --check-model --finite-model-find when used togethe... |
commit | commitdiff | tree |
2013-01-25 |
Morgan Deters | Fix errors and reduce warnings on clang (merge from... |
commit | commitdiff | tree |
2013-01-25 |
Morgan Deters | fix --check-model --finite-model-find when used togethe... |
commit | commitdiff | tree |
2013-01-24 |
Morgan Deters | Add win32 support (merge from mdeters/win32, with some... |
commit | commitdiff | tree |
2013-01-23 |
Tim King | Adding miplibtrick option. |
commit | commitdiff | tree |
2013-01-23 |
Tim King | Adding substitution size cap. |
commit | commitdiff | tree |
2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2013-01-23 |
Morgan Deters | fix to workaround ANTLR 3.2 issue with initialization |
commit | commitdiff | tree |
2013-01-23 |
Morgan Deters | partially address bug 486: allow some model inspection... |
commit | commitdiff | tree |
2013-01-23 |
Morgan Deters | partially address bug 486: allow some model inspection... |
commit | commitdiff | tree |
2013-01-23 |
Morgan Deters | update NEWS file |
commit | commitdiff | tree |
2013-01-23 |
Morgan Deters | add user patterns to the Smt1 parser; update NEWS file |
commit | commitdiff | tree |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2013-01-22 |
Morgan Deters | fix for theory preprocessing cache on clang, perhaps... |
commit | commitdiff | tree |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2013-01-22 |
Morgan Deters | update ANTLR URLs (antlr.org -> antlr3.org) |
commit | commitdiff | tree |
2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2013-01-19 |
Morgan Deters | Fix an options-processing bug on some platforms (e... |
commit | commitdiff | tree |
2013-01-08 |
Morgan Deters | SMT-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 Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2012-12-18 |
Morgan Deters | Fix bug 483: readline checks must come after Boost... |
commit | commitdiff | tree |
2012-12-18 |
Morgan Deters | Fix printing of EXISTS in CVC language printer |
commit | commitdiff | tree |
2012-12-18 |
Morgan Deters | Fix bug 483: readline checks must come after Boost... |
commit | commitdiff | tree |
2012-12-16 |
Morgan Deters | Fix printing of EXISTS in CVC language printer |
commit | commitdiff | tree |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
commit | commitdiff | tree |
2012-12-15 |
Tim King | Adding unit test for different versions of division. |
commit | commitdiff | tree |
2012-12-15 |
Tim King | Merge remote-tracking branch 'main-repo/1.0.x' into... |
commit | commitdiff | tree |
2012-12-15 |
Tim King | Changing 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 Deters | Merge branch '1.0.x', getting fix for bug 480 |
commit | commitdiff | tree |
2012-12-11 |
Morgan Deters | SMT-LIB compliance fix to get-assignment; resolves... |
commit | commitdiff | tree |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
commit | commitdiff | tree |
2012-12-11 |
Morgan Deters | Ignore unknown term annotations (giving a warning)... |
commit | commitdiff | tree |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
commit | commitdiff | tree |
2012-12-11 |
Andrew Reynolds | adding cache for preprocessing datatypes terms to fix... |
commit | commitdiff | tree |
2012-12-11 |
Andrew Reynolds | adding cache for preprocessing datatypes terms to fix... |
commit | commitdiff | tree |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
commit | commitdiff | tree |
2012-12-08 |
Morgan Deters | Fix bug 476: when CxxTest is not found, make the error... |
commit | commitdiff | tree |
2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
commit | commitdiff | tree |
2012-12-07 |
Morgan Deters | Fix to portfolio builds |
commit | commitdiff | tree |
2012-12-07 |
Kshitij Bansal | Fix performance issue in a DFS search (bug 474) |
commit | commitdiff | tree |
2012-12-06 |
Morgan Deters | Fix to portfolio builds |
commit | commitdiff | tree |
2012-12-06 |
Kshitij Bansal | Fix performance issue in a DFS search (bug 474) |
commit | commitdiff | tree |
2012-12-06 |
François Bobot | Merge branch 'release-1.0.x' |
commit | commitdiff | tree |
2012-12-06 |
Morgan Deters | * some build fixes; thanks; thanks to Kunal Ganeshpure... |
commit | commitdiff | tree |
2012-12-06 |
Morgan Deters | distribute the find_public_interface.sh script |
commit | commitdiff | tree |
2012-12-06 |
Morgan Deters | version numbering |
commit | commitdiff | tree |
2012-12-06 |
Clark Barrett | Fix for fuzzer-found model bug |
commit | commitdiff | tree |
2012-12-06 |
Morgan Deters | * tuple and record support in compatibility library |
commit | commitdiff | tree |
2012-12-06 |
Morgan Deters | * some build fixes; thanks; thanks to Kunal Ganeshpure... |
commit | commitdiff | tree |
2012-12-05 |
Tim King | Improved garbage collection for TheoryArith. The merge... |
commit | commitdiff | tree |
2012-12-05 |
Tim King | Cleanup of arithmetic, and some new utility functions... |
commit | commitdiff | tree |
2012-12-05 |
Tim King | This commit merges in CDTrailHashMap and CDInsertHashMa... |
commit | commitdiff | tree |
2012-12-04 |
Kshitij Bansal | * Add support for --decision=justification + incrementa... |
commit | commitdiff | tree |
2012-12-03 |
Morgan Deters | distribute the find_public_interface.sh script |
commit | commitdiff | tree |
2012-12-03 |
Morgan Deters | version numbering |
commit | commitdiff | tree |
2012-12-03 |
Clark Barrett | Fix for fuzzer-found model bug |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | Cutting release 1.0. |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | fix cut-release sanity checks |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | fix to TNode assertion (which is too strict, given... |
commit | commitdiff | tree |
2012-12-01 |
Clark Barrett | Throw a logic exception if user makes an assertion... |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | remove instantiator framework |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | Fix the way abstract values are typed; fixes some compl... |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | fix memory corruption issue in debug builds that led... |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | remove an obsolete (and incorrect) assertion in boolean... |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | fix java system test dependences |
commit | commitdiff | tree |
2012-12-01 |
Andrew Reynolds | drastic simplification of quantifiers code regarding... |
commit | commitdiff | tree |
2012-12-01 |
Tim King | Fix for a CLN related bug on 32 bit systems. Integer... |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | Some fixes for boolean arrays |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | fix #line annotation warning |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | updated examples |
commit | commitdiff | tree |
2012-12-01 |
Liana Hadarean | added a new example for the combination of bit-vectors... |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | another part of last commit |
commit | commitdiff | tree |
2012-12-01 |
Morgan Deters | definition-expansion fixed for get-model, resolves... |
commit | commitdiff | tree |
2012-12-01 |
Tim King | Polishing API examples. |
commit | commitdiff | tree |
2012-12-01 |
Tim King | Adding SmtEngine::setLogic(const char* logic) so that... |
commit | commitdiff | tree |
2012-11-30 |
Tim King | Fixes for stricter compilers Andy brought to my attention. |
commit | commitdiff | tree |
2012-11-30 |
Tim King | Changing the documentation of ARR_TABLE_FUN to say... |
commit | commitdiff | tree |
2012-11-30 |
Morgan Deters | all API examples now have java versions too; bitvectors... |
commit | commitdiff | tree |
2012-11-30 |
Morgan Deters | incorporating some comments from Clark |
commit | commitdiff | tree |
2012-11-30 |
Clark Barrett | Fix assertion in smt_engine's getValue |
commit | commitdiff | tree |
2012-11-30 |
Tim King | Updating the combination.cpp example. |
commit | commitdiff | tree |
next |