sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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)