| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-09-21 | Remove cheri and mips specs -- they now have their own repository. | Robert Norton |
| 2018-08-17 | Improve builtins tests | Alasdair Armstrong |
| 2018-06-04 | Fix an issue with riscv_platform involving flow typing | Alasdair Armstrong |
| 2018-04-03 | Added test cases for builtins | Alasdair Armstrong |
| 2018-03-15 | add test that cheri specs build (ocaml). | Robert Norton |
| 2018-02-07 | Setup test suite for C backend | Alasdair Armstrong |
| 2018-01-23 | Run tests for Lem shallow embedding | Thomas Bauereiss |
| 2018-01-19 | Added RISCV test case to test suite | Alasdair Armstrong |
| 2018-01-17 | Add generated ARM spec and test cases for it | Alasdair Armstrong |
| 2018-01-16 | Improve formatting of output when running all test suites. | Alasdair Armstrong |
| 2017-11-16 | Fixed some longstanding issues regarding constraints on type constructors. | Alasdair Armstrong |
| 2017-09-01 | More test cases for ocaml backend | Alasdair Armstrong |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |