| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-22 | C: Fix as-patterns in C output | Alasdair Armstrong | |
| Most such patterns are re-written away by various re-writing steps, but for those that arn't they are fairly easy to handle by just having as patterns directly in the ANF-patterns. Fixes #39 | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |