summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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-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-05Added path compression and caching for getBaseDecomposition.Liana Hadarean
2013-02-04Fixing regression failure. The only unfixed ones seem model related which wou...lianah
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-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-01merged master into branchlianah
2013-02-01minor changes.lianah
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-31done fixing slicer bugs.lianah
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-30fixed some more bugslianah
2013-01-30correct output language bug with --dump-toMorgan Deters
2013-01-29fixing slicer bugs.Liana Hadarean
2013-01-29fixeslianah
2013-01-28fix for finite model finding caused by new collectModelInfo codeAndrew Reynolds
2013-01-28compiling implementation of new slicer finished; need to add debugging inform...lianah
2013-01-28Fixes for Win32 (closes bugs 488 and 489)Morgan 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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback