summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2013-05-17Add support for --dump-models option, in preparation for casc.Andrew Reynolds
2013-05-17Better error on illegal (pop N); also more compliant SMT-LIB error messages i...Morgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-04-01Merging some cleanup work:Morgan Deters
2013-03-26Make --incremental the default when running interactivelyMorgan Deters
2013-03-25finish removal of separateOutputKshitij Bansal
2013-03-23Fix bug in portfolio executor output; fixes nightly portfolio-checking runs.Morgan Deters
2013-03-20Better reporting of detached git state in --version and --show-configMorgan Deters
2013-03-20Interactive mode support for multiline inputMorgan Deters
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-02-20Single -q quiets messages/warnings. Double -qq silences sat/unsat output too.Morgan Deters
2013-02-16Fix version identification for new git repository.Morgan Deters
2013-02-15Merge branch '1.0.x'Kshitij Bansal
2013-02-15prvs commit: lower warning to noticeKshitij Bansal
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-04Merge branch '1.0.x'Morgan Deters
2013-02-04driver::totalTime statistic is now reported correctly on crashes, tooMorgan Deters
2013-02-04Printing commands as they're executed now requires verbosity 3+Morgan Deters
2013-01-31Merge branch '1.0.x'Morgan Deters
2013-01-30correct output language bug with --dump-toMorgan Deters
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2012-12-07Fix to portfolio buildsMorgan Deters
2012-12-06Fix to portfolio buildsMorgan Deters
2012-11-29reliable benchmark corresponding to bug468Kshitij Bansal
2012-11-28fix a potential race (have failed to reproduce)Kshitij Bansal
2012-11-28treat all get commands like getValue (send only to lastWinner)Kshitij Bansal
2012-11-27fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.Kshitij Bansal
2012-11-27more mac fixesMorgan Deters
2012-11-27fix for some Mac buildsMorgan Deters
2012-11-19Run lastWinner thread for all commands. Earlier behavior was to runKshitij Bansal
2012-11-15some fixes for --threads=1Kshitij Bansal
2012-11-14Quantifiers enabled with portfolio, closing bug 423.Kshitij Bansal
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-19Fix problem with incremental with portfolio. Fixes bug 420.Kshitij Bansal
2012-10-19--fallback-sequential / --no-fallback-sequential optionKshitij Bansal
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-09typoKshitij Bansal
2012-10-09bugfix: isQuantified, bugfix: flushKshitij Bansal
2012-10-09* make Model class private (as discussed at meeting today)Morgan Deters
2012-10-06* more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASSMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-03--wait-to-join / --no-wait-to-join optionKshitij Bansal
2012-10-02* re-enable some Z3 extended commands:Morgan Deters
2012-10-01"Fix" (disable) portfolio when using quantifiersKshitij Bansal
2012-09-29Fix a few segfaults in driver.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback