| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-01-08 | Improvements for v85 | Alasdair Armstrong | |
| 2019-01-03 | Make sure to close file handles when printing error messages | Alasdair Armstrong | |
| 2018-12-26 | More error messages improvments | 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. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |