summaryrefslogtreecommitdiff
path: root/src/options/mkoptions
AgeCommit message (Expand)Author
2017-12-10Add new infrastructure for preprocessing passes (#1053)justinxu421
2016-04-20update from the masterPaulMeng
2016-01-28Adding listeners to Options.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-02Separating the steps of the old mkoptions script into smaller phases.Tim King
2015-10-23Switching Options::current() to return a pointer. This helps avoid undefined ...Tim King
2014-09-30Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C...Morgan Deters
2014-06-28Automatically make SMT options from command-line option names, warn when not ...Morgan Deters
2014-06-21Minor fixes for man pages.Morgan Deters
2014-06-19More doc fixes; fixes some lintian warnings.Morgan Deters
2014-06-18Proper escaping in option documentation.Morgan Deters
2014-06-18Options script fix.Morgan Deters
2014-01-02Merge branch '1.3.x'Morgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-11-11Some fixes to build system with dependency-tracking is off; should fix RPM/De...Morgan Deters
2013-07-23Some fixes for (get-info :all-options)Morgan Deters
2013-07-23(get-info :all-options) to get option values; also command-line option sugges...Morgan Deters
2013-05-17A couple of fixes to the get-option command for compliance with SMT-LIB.Morgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-05Bug-related:Morgan Deters
2012-09-29Fix a few segfaults in driver.Morgan Deters
2012-09-28some fixes to build systemMorgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-27* Rename SMT parts (printer, parser) to SMT1Morgan Deters
2012-09-27finally, a portable solutionMorgan Deters
2012-09-27fix for non-MacMorgan Deters
2012-09-27speed up mkoptions script (esp. on Macs)Morgan Deters
2012-09-27better progress indicator for mkoptionsMorgan Deters
2012-09-25fix some Mac issuesMorgan Deters
2012-09-24Fix the memout issue seen in recent nightly regressions (was due to aMorgan Deters
2012-09-21SMT-LIBv2 compliance updates:Morgan Deters
2012-09-20some bugfixes that come as a result of debugging some CASCADE/C stuff..Morgan Deters
2012-09-17speed up option-file generation on Mac OS by an order of magnitudeMorgan Deters
2012-09-15minor interface improvements, compliance fixesMorgan Deters
2012-09-14Fix a few minor issues in options processing, improving usability, consistenc...Morgan Deters
2012-09-08Add [*] footnotes to --help output indicating for many options --FOO that the...Morgan Deters
2012-08-22fix some build dependencies in options-building; should fix a strange bug And...Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback