Age | Commit message (Expand) | Author |
2014-05-27 | New --tear-down-incremental mode, useful for debugging and performance profil... | Morgan Deters |
2014-04-06 | fix for hiding prompt/header in shell, error-behavior options as in SMTLIB | Kshitij Bansal |
2014-03-19 | Set dumping options from (set-option..) and API more directly. | 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-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-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-08-13 | --segv-nospin is now default. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Make --incremental the default when running interactively | Morgan Deters |
2013-02-16 | Fix version identification for new git repository. | Morgan Deters |
2013-02-15 | prvs commit: lower warning to notice | Kshitij Bansal |
2013-02-15 | make incremental+portfolio experimental | Kshitij Bansal |
2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
2013-01-30 | correct output language bug with --dump-to | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-09 | typo | Kshitij Bansal |
2012-10-09 | bugfix: isQuantified, bugfix: flush | Kshitij Bansal |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-09-29 | Fix a few segfaults in driver. | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-09-26 | The Tuesday Afternoon Catch-All Commit (TACAC): | Morgan Deters |
2012-09-24 | Fix the memout issue seen in recent nightly regressions (was due to a | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-08 | Some minor changes after reviewing the portfolio "unified driver" commit. | Morgan Deters |
2012-09-08 | Single driver for both sequential and portfolio | Kshitij Bansal |