Commit message (Expand) | Author | Age | |
---|---|---|---|
* | SMTLib: Only use (set-logic ...) when requested; quote some more symbols | 2011-06-30 | |
* | Add MULTI_TRACES prover option (equivalent of /z3multipleErrors) | 2011-02-23 | |
* | Ask Z3 to generate models, in V2 format, when needed | 2011-02-18 | |
* | Provide /p: as the short form of /proverOpt:. | 2011-02-17 |