sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-02-05	Deinfixable colon	Gabriel Kerneis

2014-01-07	Lex bitzero and bitone literals	Gabriel Kerneis

2013-12-17	Remove spurious lexing tokens	Gabriel Kerneis

2013-12-16	lexer: inc and dec keywords	Gabriel Kerneis

2013-12-03	Syntax changes per discussion with Peter, as well as L2.ott document clean up.	Kathy Gray
	Could not at this time return lists to [\| \|] from [\|\| \|\|] as the parser cannot distinguish a cast with enum’s syntactic sugar from the start of a parenthesised list (i.e. ( [\|3\|] ) And there are still conflicts with moving enums to [3], so those changes can’t be pushed in with current parser technology.
2013-11-28	Updated syntax with working examples	Kathy Gray

2013-11-27	More front-end passes for type identifiers	Kathy Gray

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-05	Parsing of infix operators	Gabriel Kerneis
	The interpreter is broken for infix calls (fails to find the relevant function, either internal or external).
2013-11-05	Support parsing for extern calls	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-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-19	Add loops and document optionnal else in conditional	Gabriel Kerneis
	Syntax: foreach id from exp (to\|downto) exp (by exp)? exp foreach and by are keywords; from, to and downto aren't.
2013-08-01	Lex and discard comments	Gabriel Kerneis

2013-07-30	More infix supported	Kathy Gray

2013-07-26	Remove white space/terminal tracking	Kathy Gray

2013-07-25	Clean trailing whitespace	Gabriel Kerneis

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-18	More parsing	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-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