summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-03-05Bugfix for SmtEngine: proper unsubscribing for NodeManager eventsMorgan Deters
2013-02-26Bug fix for rep-set.Morgan Deters
2013-02-26Fix for quantifiers containing Boolean terms.Morgan Deters
2013-02-26Merge branch '1.0.x' of https://github.com/CVC4/CVC4 into 1.0.xlianah
2013-02-26fix for bv crash in incremental mode; this is a temporary fix for bug 493lianah
2013-02-16gitinfo modifications fixKshitij Bansal
2013-02-16Fix typo in error messageMorgan Deters
2013-02-15prvs commit: lower warning to noticeKshitij Bansal
2013-02-15Merge pull request #5 from kbansal/1.0.xKshitij Bansal
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-15Fix builds/ links to survive configuring twice with different prefixesMorgan Deters
2013-02-15Fix ECHO command in CVC language parser to not output quotation marksMorgan Deters
2013-02-15repairs a bug in rewriterule engine: constructor cannot be used as a patternTianyi Liang
2013-02-14Removing BVDebug and replacing with Debug.Tim King
2013-02-07Only put quantifier assertions in model equality engine if fullModel==trueMorgan Deters
2013-02-07Significant work on bug #491 (not yet closed).Morgan Deters
2013-02-07More complete fix for bug 484 (includes fixes for records and tuples).Morgan Deters
2013-02-07Fix error in tuple type-checking.Morgan Deters
2013-02-07Make --default-dag-thresh apply to stringstreamsMorgan Deters
2013-02-07Do not install the "private-library" headerMorgan Deters
2013-02-06make datatypes enumerator behavior clearer (no exceptions in normal operation)Morgan Deters
2013-02-05Fix a compiler warning in NodeBuilderMorgan Deters
2013-02-05Merge pull request #3 from kbansal/1.0.xKshitij Bansal
2013-02-05decision/ : save d_prvsIndex in JHKshitij Bansal
2013-02-05dos2unix conversion for a number of files; this avoids spurious conflicts whe...Morgan Deters
2013-02-04Fix NodeBuilder bug which could attempt to allocate beyond hard limitMorgan Deters
2013-02-04driver::totalTime statistic is now reported correctly on crashes, tooMorgan Deters
2013-02-04Model no longer adds subterms of quantifiers to equality engine, this fixed b...Morgan Deters
2013-02-01Fix a tuple attribute bug that was causing model-generation problems for tuplesMorgan Deters
2013-01-30correct output language bug with --dump-toMorgan 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-27some fixes for Intel benchmarks regarding quantifiers and datatypes, datatype...Andrew Reynolds
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-23partially address bug 486: allow some model inspection of quantifiersMorgan Deters
2013-01-23update NEWS fileMorgan Deters
2013-01-22fix for theory preprocessing cache on clang, perhaps others.Morgan Deters
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2013-01-19Fix an options-processing bug on some platforms (e.g., MacOS).Morgan Deters
2012-12-21adding copy constructor for the datatype enumeratorDejan Jovanović
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-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 #1 from lianah/1.0.xDejan Jovanović
2012-12-12* fixed bug 481 by adding check for division by 0 in bit-vector division circuitlianah
2012-12-11SMT-LIB compliance fix to get-assignment; resolves bug 480Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback