sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-04-23	Rename main to sail, build pretty_printer lib	Gabriel Kerneis

2014-04-02	Add -skip_constraints to type-check without constraints	Gabriel Kerneis

2014-01-17	Type check through type definitions and val specifications, building ↵	Kathy Gray
	definition environment. Skipping function definition, let bind, and expression checking for this commit (to come).
2013-09-09	Pretty printer to Lem ast added; accessed by -lem_ast on the command line	Kathy Gray

2013-08-20	more support for pretty printing	Kathy Gray

2013-07-31	Adding reporting basic from Lem development, also adding basic error ↵	Kathy Gray
	messages for syntax and lexical errors (i.e. syntax error and location information)
2013-07-25	Clean trailing whitespace	Gabriel Kerneis

2013-07-12	Parser in progress, and more src files for plumbing parsing, lexing and ↵	Kathy Gray
	eventual type checking together