summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2014-02-27--stats-every-query option: print increment in addition to cumulative value o...Kshitij Bansal
2014-02-25New translation work, support Z3-str-style string constraints.Morgan Deters
2014-02-21option to print stats after every satisfiability or validity queryKshitij Bansal
2014-02-20portfolio: add stat to track time spent waiting for interrupted threads to stopKshitij Bansal
2013-12-24Merge branch '1.3.x'Morgan Deters
2013-12-24Minor code cleanup.Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-22Fix to interactive mode determination.Morgan Deters
2013-12-22Fix option specification.Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ...Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-29Fix portfolio compile error.Morgan Deters
2013-11-27Incremental is now on by default when using from API, off for command-line dr...Morgan Deters
2013-11-12Minor portfolio fixes for some platforms.Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2013-09-12fix bug 534: portfolio define-fun duplicate modelKshitij Bansal
2013-09-09Fix portfolio on bug411.smt2. (get-model command should only go to last winner)Morgan Deters
2013-08-13--segv-nospin is now default.Morgan Deters
2013-07-24some portfolio driver cleanupMorgan Deters
2013-07-13Fix language bindings and portfolio builds.Morgan Deters
2013-07-11Support for TPTP's TFF0 (with arithmetic)Morgan Deters
2013-06-28Fix portfolio builds after yesterday's commits.Morgan Deters
2013-06-27Remove output.h from public space, to avoid clashes with symbols defined in u...Morgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback