sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-01-05	Removed legacy parser/lexer and pretty printer	Alasdair Armstrong

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

2017-12-04	Fix warnings in test suite	Alasdair Armstrong

2017-02-03	fix headers	Peter Sewell

2016-07-23	Add a return exp form to Sail, supported in type checker and in interpreter.	Kathy Gray
	TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem
2016-05-27	Add sizeof to sail. Documentation to follow	Kathy Gray

2016-03-02	Add new language feature to permit definitions of items of kind Nat, etc as ↵	Kathy Gray
	well as items of kind Type. Syntax for the feature is: def Nat id = nexp Note: some useful nexps may not parse properly. All typedef forms can also be used as def Type ... if desired, but this is not required.
2015-06-24	Support new memory write events in the sail front end and pretty printer	Kathy Gray
	Events are eamem to signal the memory address to write to and wmv to pass the value to write
2014-02-28	Correct bug in parsing and handling a['a:'b] types	Kathy Gray

2014-02-05	Fix type id parsing error ans associated type checking bugs in scattereds	Kathy Gray

2013-11-27	More front-end passes for type identifiers	Kathy Gray

2013-11-22	Syntax changes per discussions on Thursday.	Kathy Gray
	First pass parser to identify type names is in progress (current test files fail, will correct once pre-parser is in place)