| Age | Commit message (Expand) | Author |
|---|
| 2015-11-23 | Freeing memory allocated for signal handling. | Tim King |
| 2015-10-11 | fix regression tests, support fallback mode for proofs | Kshitij Bansal |
| 2015-07-25 | Add option --sygus-inv-templ for synthesizing strengthening/weakening of pre/... | ajreynol |
| 2015-06-12 | Make sygus an output language. Parse declare-fun in sygus. Minor improvemen... | ajreynol |
| 2015-03-31 | fix echo command in --tear-down-incremental | Kshitij Bansal |
| 2015-01-30 | Generalize conflict clauses in sygus sym break, merge caches, refactor. Prep... | ajreynol |
| 2015-01-14 | sygus input language and benchmark | Morgan Deters |
| 2014-11-17 | Resource-limiting work. | Liana Hadarean |
| 2014-11-12 | Fix tokenization of "reset" in SMT-LIB v2.0. It's a reserved word only in 2.5. | Morgan Deters |
| 2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
| 2014-09-30 | Merge branch '1.4.x' | Morgan Deters |
| 2014-09-30 | Fix improper #inclusion of private header outside library. | Morgan Deters |
| 2014-09-30 | Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph ... | Morgan Deters |
| 2014-09-30 | Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C... | Morgan Deters |
| 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 |
