| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-13 | Add new option to splice in alternative function definitions | Brian Campbell | |
| In particular, this is useful for replacing basic bitvector functions with monomorphisation-friendly ones. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |