sail - Formal specification language for ISAs

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