Commit message (Expand) | Author | Age | |
---|---|---|---|
* | SMTLib: Only use (set-logic ...) when requested; quote some more symbols | 2011-06-30 | |
* | Replaced all dictionaries that mapped to bool (i.e., were being used to imple... | 2011-03-10 | |
* | Add MULTI_TRACES prover option (equivalent of /z3multipleErrors) | 2011-02-23 | |
* | Remove workaround for Z3 scanner problems (fixed now); fix one comment | 2011-02-18 | |
* | Handle bitvectors | 2011-02-18 | |
* | Use explicit mechanism for skipping to the next assertion | 2011-02-17 | |
* | Fix printing of type-proxies | 2011-02-16 | |
* | Workaround bug in Z3 SMT parser | 2011-02-15 | |
* | Use SMT2 top-level syntax | 2011-02-15 | |
* | Print terms in SMT2 syntax (drop term/formula distinction) | 2011-02-15 | |
* | Move name-quoting (already for SMT2 not SMT1) into a seprate class | 2011-02-15 |