| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-01-11 | Ocaml semantics can now run aarch64 hello world example using octapod | Alasdair Armstrong | |
| New testcase for bitfield syntax Updated to work with latest lem and linksem | |||
| 2018-01-05 | Added bitfield syntax to replicate register bits type | Alasdair Armstrong | |
| For example: bitfield cr : vector(8, dec, bit) = { CR0 : 7 .. 4, LT : 7, CR1 : 3 .. 2, CR2 : 1, CR3 : 0, } The difference this creates a newtype wrapper around the vector type, then generates getters and setters for all the fields once, rather than having to handle this construct separately in every backend. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |