summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-06make datatypes enumerator behavior clearer (no exceptions in normal operation)Morgan Deters
2013-02-05Merge branch '1.0.x'Morgan Deters
2013-02-05Fix a compiler warning in NodeBuilderMorgan Deters
2013-02-05Merge remote-tracking branch 'origin/1.0.x'Kshitij Bansal
2013-02-05Merge pull request #3 from kbansal/1.0.xKshitij Bansal
2013-02-05Merge branch '1.0.x'Morgan Deters
2013-02-05remove now-unnecessary wrappers from Type interfaceMorgan Deters
2013-02-05Fix to miplib trick to make it less "cautious" and apply in more casesMorgan Deters
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-05More improvements for E-matchingAndrew Reynolds
2013-02-04Merge branch '1.0.x'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-04fixed files with DOS newlines; fixed contrib/ scripts to use gitMorgan Deters
2013-02-04Some fixes for the miplib preprocessing pass.Morgan Deters
2013-02-04Printing commands as they're executed now requires verbosity 3+Morgan Deters
2013-02-04Merge branch '1.0.x'Morgan Deters
2013-02-04Model no longer adds subterms of quantifiers to equality engine, this fixed b...Morgan Deters
2013-02-04Model no longer adds subterms of quantifiers to equality engine, this fixed b...Andrew Reynolds
2013-02-03Some cleanup of miplib regressions and optionsMorgan Deters
2013-02-03Merge from mdeters/miplib branch (commit 'ce7c485182902ae43871057185095f71f74...Morgan Deters
2013-02-03new option for doing top-level miplib substitutions (or not)Morgan Deters
2013-02-03extended miplib trick to 6 vars, should work on pp miplib examples nowMorgan Deters
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-02-01Merge branch '1.0.x'Morgan Deters
2013-02-01Fix a tuple attribute bug that was causing model-generation problems for tuplesMorgan Deters
2013-01-31Merge branch '1.0.x'Morgan Deters
2013-01-31Fix a small problem in clang builds due to namespaces and symbol lookupMorgan 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-30correct output language bug with --dump-toMorgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback