| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-21 | Coq: be more careful when dealing with wildcard argument patterns | Brian Campbell | |
| If they're merged with a type variable then we still need to name the argument so that it can be used in other types. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |