| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-09-25 | tests: Move copy-pasted code into a shared helper .sh | Alex Richardson | |
| Also fix a few shellcheck warnings related to printf while doing so. | |||
| 2019-06-06 | Fix aarch64_small test | Alasdair Armstrong | |
| 2019-06-04 | Make sure aarch64_small can generate Jib for SMT | Alasdair Armstrong | |
| Add a test case for this | |||
| 2019-05-28 | Just build lem in aarch64_small test | Alasdair Armstrong | |
| 2019-03-04 | Fix aarch64_small test XML for jenkins | Alasdair Armstrong | |
| Rename rewrite_split_fun_constr_pats to rewrite_split_fun_ctor_pats as constr is commonly used as an abbreviation for constraint rather than constructor, and add a more descriptive comment. | |||
| 2019-03-04 | Add test for building handwritten ARM to lem for Jenkins | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |