summaryrefslogtreecommitdiff
path: root/src/options
AgeCommit message (Expand)Author
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2013-01-19Fix an options-processing bug on some platforms (e.g., MacOS).Morgan 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-26build options sources into distribution tarballs (in the same way that antlr ...Morgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-22one more incorrect #line fixedMorgan Deters
2012-10-14fix #line number warnings (sorry!)Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-10Abstract values for SMT-LIB.Morgan Deters
2012-10-09usability: remove --no-interactive from --smtlib optionMorgan 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-29draft RELEASE-NOTES file, and minor release stuffMorgan 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-21better verbosity support (so it's sensible when the library is used via the API)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-12Adding model assertions after SAT responses.Morgan Deters
2012-09-08Add [*] footnotes to --help output indicating for many options --FOO that the...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-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2012-08-29To the build system:Morgan Deters
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-22fix some build dependencies in options-building; should fix a strange bug And...Morgan Deters
2012-08-13fix integer parsing error.. thanks dejan for the report. this indicates that...Morgan Deters
2012-08-08Fix --no-checking option.Morgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-08-01some fixes for Mac OSMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback