| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-09-25 | tests: Move copy-pasted code into a shared helper .sh | Alex Richardson |
| 2019-06-06 | Fix aarch64_small test | Alasdair Armstrong |
| 2019-06-04 | Make sure aarch64_small can generate Jib for SMT | Alasdair Armstrong |
| 2019-05-28 | Just build lem in aarch64_small test | Alasdair Armstrong |
| 2019-03-04 | Fix aarch64_small test XML for jenkins | Alasdair Armstrong |
| 2019-03-04 | Add test for building handwritten ARM to lem for Jenkins | Alasdair Armstrong |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |