| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-18 | Correctly handle specialising polymorphic types in nested unions | Alasdair | |
| Ensure that this works even when the union types are dependent in the wrong order, before topologically sorting definitions. We do this by calling fix_variant_ctyps on all cdefs by passing a list of prior cdefs to specialize_variants. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |