| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-03 | Add a workflow for latest released ocaml | Alasdair |
| 2020-06-02 | Add m4 to 18.04 install | Alasdair |
| 2020-06-02 | Add ubuntu 20.04 workflow | Alasdair |
| 2020-05-27 | Try to fix Github CI | Thomas Bauereiss |
| 2019-12-11 | Add github actions to build on macOS and ubuntu | Alasdair Armstrong |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |