Age | Commit message (Expand) | Author |
2012-10-26 | build options sources into distribution tarballs (in the same way that antlr ... | Morgan Deters |
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
2012-10-22 | one more incorrect #line fixed | Morgan Deters |
2012-10-14 | fix #line number warnings (sorry!) | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-10-09 | usability: remove --no-interactive from --smtlib option | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-09-29 | Fix a few segfaults in driver. | Morgan Deters |
2012-09-29 | draft RELEASE-NOTES file, and minor release stuff | Morgan Deters |
2012-09-28 | some fixes to build system | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-09-27 | finally, a portable solution | Morgan Deters |
2012-09-27 | fix for non-Mac | Morgan Deters |
2012-09-27 | speed up mkoptions script (esp. on Macs) | Morgan Deters |
2012-09-27 | better progress indicator for mkoptions | Morgan Deters |
2012-09-25 | fix some Mac issues | Morgan Deters |
2012-09-24 | Fix the memout issue seen in recent nightly regressions (was due to a | Morgan Deters |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-09-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-09-20 | some bugfixes that come as a result of debugging some CASCADE/C stuff.. | Morgan Deters |
2012-09-17 | speed up option-file generation on Mac OS by an order of magnitude | Morgan Deters |
2012-09-15 | minor interface improvements, compliance fixes | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-09-08 | Add [*] footnotes to --help output indicating for many options --FOO that the... | Morgan Deters |
2012-09-06 | allow SmtEngine::setOption() for trace and debug tags | Morgan Deters |
2012-09-06 | add --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-29 | To the build system: | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-22 | fix some build dependencies in options-building; should fix a strange bug And... | Morgan Deters |
2012-08-13 | fix integer parsing error.. thanks dejan for the report. this indicates that... | Morgan Deters |
2012-08-08 | Fix --no-checking option. | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-08-01 | fixes to some *clean targets | Morgan Deters |
2012-08-01 | some fixes for Mac OS | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |