summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-16Merge branch '1.0.x'Morgan Deters
2013-02-16Fix version identification for new git repository.Morgan Deters
2013-02-16Fix typo in error messageMorgan Deters
2013-02-15Merge branch '1.0.x'Kshitij Bansal
2013-02-15prvs commit: lower warning to noticeKshitij Bansal
2013-02-15Merge branch '1.0.x'Kshitij Bansal
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-15Merge pull request #5 from kbansal/1.0.xKshitij Bansal
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-15Merge branch '1.0.x'Morgan Deters
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-15Merge branch '1.0.x'Tim King
2013-02-15repairs a bug in rewriterule engine: constructor cannot be used as a patternTianyi Liang
2013-02-14Merge pull request #4 from tiliang/masterDejan Jovanović
2013-02-14Removing BVDebug and replacing with Debug.Tim King
2013-02-13repairs a bug in rewriterule engine: constructor cannot be used as a patternTianyi Liang
2013-02-12Fix a preprocessing performance issue.Morgan Deters
2013-02-08Fix user-values in SMT-LIB v1.2Morgan Deters
2013-02-07Merge branch '1.0.x'Morgan Deters
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-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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback