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