sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-04-01	Fix parsing of nexp constraints	Gabriel Kerneis

2014-03-27	Check simple constraints (i.e. ones using only constants).	Kathy Gray
	Changes syntax of tuple type from * to , so that nexps of the form 8 * 'n can be supported in the parser, which was apparently not true before.
2014-03-26	Steps towards solving constraints	Kathy Gray

2014-03-20	Type bit[n] means bit[0..n-1]	Gabriel Kerneis

2014-03-18	Add parser support for empty and one element vectors	Kathy Gray

2014-03-18	More library functions for Power	Gabriel Kerneis

2014-03-07	Treat registers as values when not being actively read or written to, so ↵	Kathy Gray
	that we can have a vector of registers for example. Also, register types can be explicitly referenced.
2014-03-04	Various deinfix bugs	Gabriel Kerneis

2014-02-28	Correct bug in parsing and handling a['a:'b] types	Kathy Gray

2014-02-18	Adding explicit order to for loops	Kathy Gray

2014-02-05	Replace symbolic link by actual file	Gabriel Kerneis

2014-02-05	Fix type id parsing error ans associated type checking bugs in scattereds	Kathy Gray

2014-02-05	Typechecking lets, concrete vectors, and function calls (minus effects)	Kathy Gray

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-13	Fix effect annotation bug, take 2	Kathy Gray

2013-12-13	Fix effect annotation pretty-printing	Gabriel Kerneis
	There is also a bug for parsing effect annotations (in fundecl). But for some reason, my fix for the parser does not work: test/test2.sail still refuses to parse (chokes on "effect pure"), even with "Effect" added to parser.mly.
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-29	minor syntax fixups	Kathy Gray

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-20	Fixed the parsing of application	Kathy Gray

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-09	Memory reading (small change to signature for memory writes).	Kathy Gray
	Also fixed parser to accept id ( )
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-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-01	More removal of ws from l2.ott, correction to parser, and adding finite-map ↵	Kathy Gray
	as preliminary to some minor type checking (for environments)
2013-08-01	Parse <_u, implicit else, and fix whitespaces	Gabriel Kerneis

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