| 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-06-07 | Rename some functions in vector_dec library file to avoid clashes with ↵ | Robert Norton | |
| functions in mips spec in prepartion for using this file in mips prelude. Also modify tests that use this header. We should consider prefixing library builtins to avoid name clashes. overload can then be used to provide aliases if desired. | |||
| 2018-02-13 | Support for large bitvector literals in C backend | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |