| Age | Commit message (Expand) | Author |
|---|
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-06-26 | Potential fix for bug 573. | Morgan Deters |
| 2014-06-25 | Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp... | Morgan Deters |
| 2014-06-22 | QuitCommand needs "success" output for trace executor. :-(smtcomp2014-application | Morgan Deters |
| 2014-06-22 | Final fixes for smtcomp2014-application. | Morgan Deters |
| 2014-06-17 | Some reversions of recent commits re: portfolio failure. | Morgan Deters |
| 2014-06-17 | More application-track fixes for use with trace executor. | Morgan Deters |
| 2014-06-17 | Some fixes for tear-down-incremental and "success" output. | Morgan Deters |
| 2014-06-15 | Careful there aren't too many "success" messages with --tear-down-incremental... | Morgan Deters |
| 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-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 |
