summaryrefslogtreecommitdiff
path: root/src/options/base_options
AgeCommit message (Expand)Author
2016-01-28Adding listeners to Options.Tim King
2015-12-24Miscellaneous fixesTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-06-19More application-track fixes for use with trace executor.Morgan Deters
2014-06-15Careful there aren't too many "success" messages with --tear-down-incremental...Morgan Deters
2014-06-06option to hide stats which are zero (off by default), also some aliasesKshitij Bansal
2014-04-09Minor change to better support parameterized partial/total kinds (for upcomin...Morgan Deters
2014-02-27--stats-every-query option: print increment in addition to cumulative value o...Kshitij Bansal
2013-08-13--segv-nospin is now default.Morgan Deters
2013-07-24Don't allow --stats if not a statistics-enabled buildMorgan Deters
2012-11-30renaming --smtlib to --smtlib-strict; removing --smtlib2 optionMorgan Deters
2012-11-30Adding smtname level options for tlimit, rlimit, etc. Fix to the internal doc...Tim King
2012-10-10Abstract values for SMT-LIB.Morgan Deters
2012-10-09usability: remove --no-interactive from --smtlib optionMorgan Deters
2012-10-05Bug-related:Morgan Deters
2012-09-27* Rename SMT parts (printer, parser) to SMT1Morgan Deters
2012-09-21SMT-LIBv2 compliance updates:Morgan Deters
2012-09-21better verbosity support (so it's sensible when the library is used via the API)Morgan Deters
2012-09-06allow SmtEngine::setOption() for trace and debug tagsMorgan Deters
2012-09-06add --incremental to --smtlib2 compliance mode (thanks Peter Collingbourne)Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback