| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-20 | Add some more test cases for C compilation | Alasdair Armstrong | |
| Test that basic bi-directional mappings compile correctly Test that a minimal file importing the prelude compiles correctly | |||
![]() |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-20 | Add some more test cases for C compilation | Alasdair Armstrong | |
| Test that basic bi-directional mappings compile correctly Test that a minimal file importing the prelude compiles correctly | |||