Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |