| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |