| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-09 | Fix a bug by ensuring that monomorphic variant constructors do not get ↵ | Alasdair Armstrong | |
| lifted types Add a test case for nested variant constructors | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |