Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-04-03 | Pre-release versioning | Morgan Deters | |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters | |
* update documentation * update the cut-release script * spelling/wording updates * add a (previously-failing) fuzzer regression | |||
2013-04-03 | updated NEWS to include inequality solver | Liana Hadarean | |
2013-04-01 | Merging some cleanup work: | Morgan Deters | |
* Comment cleanup * Spelling fixes * Fix warnings * Documentation updates * References in docs to cryptominisat removed * Unneeded scope resolutions removed * Old, unused regression removed | |||
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters | |
2013-03-20 | Interactive mode support for multiline input | Morgan Deters | |
2013-02-20 | Single -q quiets messages/warnings. Double -qq silences sat/unsat output too. | Morgan Deters | |
2013-02-04 | Printing commands as they're executed now requires verbosity 3+ | Morgan Deters | |
2013-01-28 | Updated NEWS for recent changes. | Morgan Deters | |
2013-01-23 | add user patterns to the Smt1 parser; update NEWS file | Morgan Deters | |
2012-12-06 | * tuple and record support in compatibility library | Morgan Deters | |
(this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-12-01 | Cutting release 1.0.1.0 | Morgan Deters | |
2012-10-06 | * Clean up some options documentation | Morgan Deters | |
* Remove defunct --no-theory-registration option * Point people to Wiki tutorial * Modernize the cut-release script * Misc cleanup, documentation (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2009-11-03 | commit of project structure including autotools support | Morgan Deters | |