sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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)
2018-08-28	add __POS__ argument to Err_unreachable for better error reporting	Jon French

2017-12-05	Update license headers for Sail source	Alasdair Armstrong

2017-08-04	Various improvements for ASL generation	Alasdair Armstrong
	Fixed a bug where existential constraint's weren't used to solve function quantifiers correctly
2017-02-03	fix headers	Peter Sewell

2016-06-20	Fix error in type checker that put some constraints wrongly into conditional ↵	Kathy Gray
	constraints, breaking power. Also improve reporting of contract constraints, but then turn them off :( to allow power to compile.
2013-08-08	More forms converting from parse_ast to ast; also removed some annot aux ↵	Kathy Gray
	homs for terms that only need locations and not full annotations
2013-08-01	Lex and discard comments	Gabriel Kerneis

2013-07-31	Revert "Remove the wrong reporting basic"	Gabriel Kerneis
	This reverts commit b0efdb7172e65707cceab0eff469584217b8b589.
2013-07-31	Remove the wrong reporting basic	Kathy Gray

2013-07-31	Adding the real reporting basic	Kathy Gray