| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-02-04 | Fix behavior for fallthrough cases in catch blocks | Alasdair Armstrong | |
| Make all backends behave the same when a catch block does not catch a specific exception. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |