Age | Commit message (Expand) | Author |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-04-27 | Disambiguate namespaces in options, fix permissions | Clark Barrett |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-09-30 | Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C... | Morgan Deters |
2014-06-25 | Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp... | Morgan Deters |
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-04-29 | fixed couple of more warnings | 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-02-27 | --stats-every-query option: print increment in addition to cumulative value o... | Kshitij Bansal |
2014-02-21 | option to print stats after every satisfiability or validity query | Kshitij Bansal |
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-08-13 | --segv-nospin is now default. | 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-02-15 | make incremental+portfolio experimental | Kshitij Bansal |
2012-10-19 | --fallback-sequential / --no-fallback-sequential option | Kshitij Bansal |
2012-10-06 | * more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASS | Morgan Deters |
2012-10-03 | --wait-to-join / --no-wait-to-join option | Kshitij Bansal |
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-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |