sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-10-11	Supporting all expressions, although vector cacentation pattern matching can ↵	Kathy Gray
	only match simple patterns (until type information is available).
2013-10-09	Adding memory writes. Cleaning up the let in the ott file to reflect what ↵	Kathy Gray
	actually parses
2013-10-09	extend language of lexp to include memory writes	Kathy Gray

2013-10-04	Clean up build system	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-09-09	Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ↵	Kathy Gray
	and rules for lem ast generation; created a new directory for the lem interpreter and moved the Lem ast to it.
2013-09-09	Pretty printer to Lem ast added; accessed by -lem_ast on the command line	Kathy Gray

2013-09-05	workaround likely aux rule bug	Peter Sewell

2013-09-05	More type checking, and trying to generate Lem from the ott	Kathy Gray

2013-09-04	Kind checking and part of type checking getting started	Kathy Gray

2013-09-02	Fix enumerate syntax in l2.ott	Gabriel Kerneis

2013-08-30	Small clean up of ott files, start of environments for formal representation ↵	Kathy Gray
	of kind and type system
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	language.ott: update syntax of index ranges	Gabriel Kerneis

2013-08-19	language.ott: syntax for types in patterns	Gabriel Kerneis

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-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-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	Lex and discard comments	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-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-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	wib	Peter Sewell

2013-07-18	More parsing	Kathy Gray

2013-07-17	wib	Peter Sewell

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	More parsing and ott file tweaks for better AST output	Kathy Gray

2013-07-11	and matching .ott	Peter Sewell

2013-07-11	K,P wib	Peter Sewell

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-10	wib	Peter Sewell

2013-07-09	wib	Peter Sewell

2013-07-09	many fixups to grammar and doc	Peter Sewell

2013-07-04	gkp	Peter Sewell

2013-07-03	Clean up some missed _ s in ott file; move the generated ml file to be ast ↵	Kathy Gray
	in a source directory; add source directory and generated ast.
2013-07-03	remove spurious bar_opt rule	Gabriel Kerneis

2013-07-02	Small changes to production names, and cleaning up a few todos.	Kathy Gray
	Pattern syntax still needs to be fixed with enum patterns instead of the vector pattern syntax from Lem
2013-07-02	K,G,P syntax hacking	Peter Sewell

2013-07-02	G,P syntax hacking	Peter Sewell

2013-07-01	G,P	Peter Sewell

2013-06-28	Brian, Gabriel, Dominic, Thomas, Peter	Peter Sewell

2013-06-28	tweaks from chat with AndrewK, K, P	Peter Sewell

2013-06-23	more tidying	Peter Sewell

2013-06-22	flesh out sketch of more of our Friday discussion	Peter Sewell

2013-06-22	more location tidying	Peter Sewell