| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-17 | Experiment with making vector and bitvector distinct types | Alasdair Armstrong | |
| Only change that should be needed for 99.9% of uses is to change vector('n, 'ord, bit) to bitvector('n, 'ord), and adding $ifndef FEATURE_BITVECTOR_TYPE type bitvector('n, dec) = vector('n, dec, bit) $endif for to support any Sail before this Currently I have all C, Typechecking, and SMT tests passing, as well as the RISC-V spec building OCaml and C completely unmodified. | |||
| 2018-08-30 | C: Fix an issue with struct field being generalised inside polymorphic ↵ | Alasdair Armstrong | |
| constructors Add a new printing function for debugging that recursively prints constructor types. Fix an interpreter bug when pattern matching on constructors with tuple types. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |