| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-27 | Fix some bugs in C compilation, and optimise struct updates | Alasdair Armstrong | |
| Fix some issues where some early returns in functions would cause memory leaks, and optimize struct updates so the struct is not copied uneccesarily. Also make C print_bits match ocaml version output, and update tests. | |||
| 2018-02-13 | Support for large bitvector literals in C backend | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |