| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-17 | Make `if cond { ... return() };` assert cond in the type environment | Brian Campbell |
| 2020-02-24 | Avoid generating assertions multiple times during typechecking | Thomas Bauereiss |
| 2020-02-21 | Nl_flow: Consider early returns | Thomas Bauereiss |
| 2018-12-17 | Changes for ASL parser | Alasdair Armstrong |
| 2018-12-14 | Add some experimental support for non-lexical flow-typing rules | Alasdair Armstrong |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |