sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2014-04-08	Reduce redundant information in AST	Kathy Gray
2014-03-26	More steps towards solving and using constraint information	Kathy Gray
2014-03-03	Fixing assorted bugs. Adding ability to put a type on the identifier being as...	Kathy Gray
2014-02-28	Correct bug in parsing and handling a['a:'b] types	Kathy Gray
2014-02-21	Add type annotations to lem grammar, including printing out the annotated ast...	Kathy Gray
2014-02-18	Adding explicit order to for loops	Kathy Gray
2014-01-07	lem homs and type headers	Kathy Gray
2013-12-03	Syntax changes per discussion with Peter, as well as L2.ott document clean up.	Kathy Gray
2013-11-29	Push syntax changes to type rules	Kathy Gray
2013-11-28	Updated syntax with working examples	Kathy Gray
2013-11-22	Syntax changes per discussions on Thursday.	Kathy Gray
2013-11-01	Moved metatheory grammars into l2_rules.ott	Kathy Gray
2013-10-23	Don't export list of types to ML AST	Gabriel Kerneis
2013-10-18	Typeing rules for patterns and easy expressions	Kathy Gray
2013-10-11	Supporting all expressions, although vector cacentation pattern matching can ...	Kathy Gray
2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what act...	Kathy Gray
2013-10-04	Clean up build system	Gabriel Kerneis