sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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

2013-06-22	use new Ott aux hom to auto-generate location-annotated rules (to reduce	Peter Sewell
	the noise). More harmonisation of location annotation for identifiers and of production-name prefixes still needed.
2013-06-21	G,T,D,P hacking on syntax	Peter Sewell

2013-06-21	add effects	Peter Sewell

2013-06-20	Initial commit adding the language files, as requested by Peter in our meeting.	Dominic Mulligan