| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-11-16 | Fixed some longstanding issues regarding constraints on type constructors. | Alasdair Armstrong | |
| Now constraints on type constructors are checked correctly when checking that types are well formed using Env.wf_typ. The arity and kind of type constructor arguments are also checked in the same way. Also some general cleanups to the type checker code, with some auxillary functions being moved to more appropriate files. | |||
| 2017-09-01 | More test cases for ocaml backend | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |