| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-30 | C: Fix an issue with struct field being generalised inside polymorphic ↵ | Alasdair Armstrong | |
| constructors Add a new printing function for debugging that recursively prints constructor types. Fix an interpreter bug when pattern matching on constructors with tuple types. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |