| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-12-26 | Some cleanup | Alasdair Armstrong | |
| 2018-12-22 | Improve error messages and debugging | Alasdair Armstrong | |
| Work on improving the formatting and quality of error messages When sail is invoked with sail -i, any type errors now drop the user down to the interactive prompt, with the interactive environment being the environment at the point the type error occurred, this means the typechecker state can be interactively queried in the interpreter to help diagnose type errors. | |||
| 2018-11-20 | Add messages for assert failures without user defined messages | Alasdair Armstrong | |
| Also fix some C optimisations | |||
| 2018-10-31 | Rename Reporting_basic to Reporting | Alasdair Armstrong | |
| There is no Reporting_complex, so it's not clear what the basic is intended to signify anyway. Add a GitHub issue link to any err_unreachable errors (as they are all bugs) | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |