sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-12-26	Some cleanup	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.
2018-11-20	Add messages for assert failures without user defined messages	Alasdair Armstrong
	Also fix some C optimisations
2018-11-19	Don't re-check AST repeatedly in exp_lift_assign re-write	Alasdair Armstrong
	This was _really_ slow - about 50secs for ARM. If this changes causes breakages we should fix them in some other way. Also using Reporting.err_unreachable in ANF translation, and fix slice optimization when creating slices larger than 64-bits in C translation
2018-10-31	Remove Parse_ast.Int, add unique locations	Alasdair Armstrong
	Remove Parse_ast.Int (for internal locations) as this was unused. Add a Parse_ast.Unique constructor to create unique locations. Change locate_X functions to take a function modifying locations, rather than just replacing them and add a function unique : l -> l that makes locations unique, such that `locate unique X` will make a locations in X unique.
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)