sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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-30	More infix supported	Kathy Gray

2013-07-26	A parser without any conflicts.	Kathy Gray
	The ott files have been adjusted to reflect some syntax changes in typquant specifications, and the type annotations are not optional for function definitions; we need additional syntax to help the parser if we want to allow functions without type annotations.
2013-07-26	Remove white space/terminal tracking	Kathy Gray

2013-07-25	Clean trailing whitespace	Gabriel Kerneis

2013-07-25	Small changes to reduce conflicts or make notes regarding causes of conflicts	Kathy Gray

2013-07-24	Parser compiles and compiles some very small test programs.	Kathy Gray
	Output is only given in the event of a parse or lex failure (with poor reporting for now) There are still 10 shift/reduce conflicts that may need further investigating and a few syntax changes that need discussion.
2013-07-24	Missed files from previous commit	Kathy Gray

2013-07-23	Down to 7 shift/reduce conflicts (with 0 reduce/reduce). Possibly some ↵	Kathy Gray
	syntax needs to change. ott file now builds a pdf again
2013-07-23	Down to 21 odd shift/reduce and 41 :( odd reduce/reduce; and some ↵	Kathy Gray
	ambiguities mentioned in comments
2013-07-18	More parsing	Kathy Gray

2013-07-17	commit to merge with head	Kathy Gray

2013-07-17	Separated ott file for parsable AST and parser changes	Kathy Gray

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

2013-07-11	More parsing and ott file tweaks for better AST output	Kathy Gray

2013-07-10	Fixes to grammar omissions (i.e. naming_scheme_opt and type_def vs tdef), ↵	Kathy Gray
	more token addition, and start of parsing
2013-07-05	More token corrections and additions based on l2_design notes.	Kathy Gray
	Lexer should now be complete
2013-07-04	Small updates to tokens; change comments to --; fix up id	Kathy Gray

2013-07-04	First addition of lexer and parser for L2, based on Lem parser and lexer.	Kathy Gray
	Not complete, does not compile