sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-10-14	Fix pattern match so that P_id is selected when P_app has no parameters	Kathy Gray

2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-09-26	Adding undefined	Kathy Gray
	Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
2013-08-20	Set some initial kind environments; start pretty printing	Kathy Gray

2013-08-19	Translate foreach from Parse_ast to Ast	Gabriel Kerneis

2013-08-16	Full translation from parse_ast to ast; which includes kind checking and ↵	Kathy Gray
	pulling scattered defintiions together, with checking on name overlap and not "ending" definitions
2013-08-15	Checks up to scattered defs	Kathy Gray

2013-08-14	More cases translating from parse_ast to ast. Plus parser changes to syntax ↵	Kathy Gray
	to support type casts; syntax changes not yet reflected in ott file
2013-08-13	more translation from parse_ast to ast	Kathy Gray

2013-08-08	More forms converting from parse_ast to ast; also removed some annot aux ↵	Kathy Gray
	homs for terms that only need locations and not full annotations
2013-08-07	Starting checks and translation from parse_ast to ast, including an internal ↵	Kathy Gray
	representation of types to support unification; importing support modules from Lem including pp and util