| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-11-23 | Introduce intermediate bitvector representation in C | Alasdair Armstrong | |
| Bitvectors that aren't fixed size, but can still be shown to fit within 64-bits, now have a specialised representation. Still need to introduce more optimized functions, as right now we mostly have to convert them into large bitvectors to pass them into most functions. Nevertheless, this doubles the performance of the TLBLookup function in ARMv8. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |