| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-12-18 | Experiment with generating type variable names in a repeatable way | Alasdair Armstrong | |
| This results in much better error messages, as we can pick readable names that make sense, and should hopefully make the re-writer more robust. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |