sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-07-12	Removed inital_check_full_ast	Alasdair Armstrong

2017-02-03	fix headers	Peter Sewell

2016-08-14	Start adding form for (a,b,c) := foo()	Kathy Gray
	Not working yet
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-07-20	Make rewriter understand type abbreviations for removing internal_exp instances	Kathy Gray

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.
2016-02-24	Small mixups to get the initial check infrastructure working for full ast ↵	Kathy Gray
	processing
2016-02-23	Several fixes	Kathy Gray
	Improve printing for asl to sail readability; Add -o option for selecting the name of file generation; Add additional initial check module for turning generated ast nodes into ready-to-type-check ast nodes