sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-11-01	Moved metatheory grammars into l2_rules.ott	Kathy Gray
	Added val extern specification to language, parser, printer, and interpreter Added various def level type system support, expressions type system in place Except for assignment
2013-10-30	Type coercions and let expressions	Kathy Gray

2013-10-25	More type rules	Kathy Gray

2013-10-23	Thread type environment through expressions because of block adding new ↵	Kathy Gray
	variables, say in each branch of an if, that we want to be visible beyond it.
2013-10-22	More type system	Kathy Gray

2013-10-18	Typeing rules for patterns and easy expressions	Kathy Gray

2013-09-09	Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ↵	Kathy Gray
	and rules for lem ast generation; created a new directory for the lem interpreter and moved the Lem ast to it.