sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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)
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-10	Fix fundecl and block Lem pretty-printing	Gabriel Kerneis

2013-10-10	Interpreting all expressions except field assignment; pattern matching all ↵	Kathy Gray
	expressions except vector concatenation pattern; added ability to specify writes to smaller pieces of memory in actions. Also fixed bugs in pretty printer to lem
2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-10-04	Missing case in pattern-matching	Gabriel Kerneis

2013-09-26	Adding undefined	Kathy Gray
	Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
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.
2013-09-09	Pretty printer to Lem ast added; accessed by -lem_ast on the command line	Kathy Gray

2013-08-28	Fix bug in pattern pretty printing	Kathy Gray

2013-08-22	Pretty printer for whole AST; due to parenthesis not always being placed ↵	Kathy Gray
	where needed, what is generated may not parse
2013-08-20	more support for pretty printing	Kathy Gray

2013-08-20	Set some initial kind environments; start pretty printing	Kathy Gray