Age | Commit message (Expand) | Author |
2013-12-24 | Merge branch '1.3.x' | Morgan Deters |
2013-12-24 | Minor code cleanup. | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-22 | Fix to interactive mode determination. | Morgan Deters |
2013-12-22 | Fix option specification. | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-29 | Fix portfolio compile error. | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-11-12 | Minor portfolio fixes for some platforms. | Morgan Deters |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-09-12 | fix bug 534: portfolio define-fun duplicate model | Kshitij Bansal |
2013-09-09 | Fix 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-24 | some portfolio driver cleanup | Morgan Deters |
2013-07-13 | Fix language bindings and portfolio builds. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-06-28 | Fix portfolio builds after yesterday's commits. | Morgan Deters |
2013-06-27 | Remove output.h from public space, to avoid clashes with symbols defined in u... | Morgan Deters |
2013-05-17 | Add support for --dump-models option, in preparation for casc. | Andrew Reynolds |
2013-05-17 | Better error on illegal (pop N); also more compliant SMT-LIB error messages i... | Morgan Deters |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-03-26 | Make --incremental the default when running interactively | Morgan Deters |
2013-03-25 | finish removal of separateOutput | Kshitij Bansal |
2013-03-23 | Fix bug in portfolio executor output; fixes nightly portfolio-checking runs. | Morgan Deters |
2013-03-20 | Better reporting of detached git state in --version and --show-config | Morgan Deters |
2013-03-20 | Interactive mode support for multiline input | Morgan Deters |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2013-02-20 | Single -q quiets messages/warnings. Double -qq silences sat/unsat output too. | Morgan Deters |
2013-02-16 | Fix version identification for new git repository. | Morgan Deters |
2013-02-15 | Merge branch '1.0.x' | Kshitij Bansal |
2013-02-15 | prvs commit: lower warning to notice | Kshitij Bansal |
2013-02-15 | make incremental+portfolio experimental | Kshitij Bansal |
2013-02-15 | make incremental+portfolio experimental | Kshitij Bansal |
2013-02-04 | Merge branch '1.0.x' | Morgan Deters |
2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
2013-02-04 | Printing commands as they're executed now requires verbosity 3+ | Morgan Deters |
2013-01-31 | Merge branch '1.0.x' | Morgan Deters |
2013-01-30 | correct output language bug with --dump-to | Morgan Deters |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2012-12-07 | Fix to portfolio builds | Morgan Deters |
2012-12-06 | Fix to portfolio builds | Morgan Deters |
2012-11-29 | reliable benchmark corresponding to bug468 | Kshitij Bansal |
2012-11-28 | fix a potential race (have failed to reproduce) | Kshitij Bansal |
2012-11-28 | treat all get commands like getValue (send only to lastWinner) | Kshitij Bansal |