Age | Commit message (Expand) | Author |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah |
2014-06-06 | option to hide stats which are zero (off by default), also some aliases | Kshitij Bansal |
2014-06-04 | Fix usability issue with tear-down incremental mode. | Morgan Deters |
2014-06-01 | Fix for Windows builds (rlimit doesn't exist on Windows). | Morgan Deters |
2014-05-28 | Add option to avoid dumping partial models/proofs. | Andrew Reynolds |
2014-05-27 | New --tear-down-incremental mode, useful for debugging and performance profil... | Morgan Deters |
2014-05-27 | Revert "timespec printing bug" | Kshitij Bansal |
2014-05-27 | timespec printing bug | Kshitij Bansal |
2014-05-11 | More preparation for CASC proofs. Minor fix for sort inference (rewrite new ... | Andrew Reynolds |
2014-05-09 | Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC... | Andrew Reynolds |
2014-04-29 | Fix for --force-logic to extend its reach to the parser. | Morgan Deters |
2014-04-29 | fixed couple of more warnings | Kshitij Bansal |
2014-04-27 | rm undocument/non-working* "feature" | Kshitij Bansal |
2014-04-06 | fix for hiding prompt/header in shell, error-behavior options as in SMTLIB | Kshitij Bansal |
2014-04-04 | Allow turning off the interactive prompt while in interactive mode. | Morgan Deters |
2014-03-26 | Merge branch '1.3.x' | Morgan Deters |
2014-03-26 | Win32 build script fixes (to allow portfolio builds). | Morgan Deters |
2014-03-19 | Set dumping options from (set-option..) and API more directly. | Morgan Deters |
2014-03-19 | Move the translator binary from src/main to examples, no longer built by defa... | Morgan Deters |
2014-03-11 | Merge branch '1.3.x' | Morgan Deters |
2014-03-11 | Fix for portfolio. | Morgan Deters |
2014-02-27 | --stats-every-query option: print increment in addition to cumulative value o... | Kshitij Bansal |
2014-02-25 | New translation work, support Z3-str-style string constraints. | Morgan Deters |
2014-02-21 | option to print stats after every satisfiability or validity query | Kshitij Bansal |
2014-02-20 | portfolio: add stat to track time spent waiting for interrupted threads to stop | Kshitij Bansal |
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 |