| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-02-15 | Use multiple solvers | Alasdair | |
| Useful to see what constraints we are generating that are particularly hard, and which of our specs work with different solvers. Refactor code to use smt in names rather than specifically z3 | |||
| 2019-01-10 | Fixes so 8.5 with vector instructions compiles to C | Alasdair Armstrong | |
| 2018-11-16 | Various bugfixes and a simple profiling feature for rewrites | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |