| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-16 | Can now compile aarch64/duopod to C | Alasdair Armstrong | |
| Goes through the C compiler without any errors, but as we still don't have all the requisite builtins it won't actually produce an executable. There are still a few things that don't work properly, such as vectors of non-bit types - but once those are fixed and the Sail library is implemented fully it should work. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |