sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-07-10	remove obsolete files from language directory.	Robert Norton

2018-02-17	Merge master branch into sail2 for OCaml 4.06 compatibility	Thomas Bauereiss

2018-01-31	changed directory structure after migration to github	Shaked Flur

2017-10-17	Start of alignment of Ott definition with new implementation of type checker ↵	Mark Wassell
	and syntax changes
2017-10-04	Alasdair, Peter: towards new Sail ott	Peter Sewell

2017-07-21	remove -merge true from ott makefile -- lem at least doesn't build with it	Jon French

2017-04-06	typesetting tt vs non-tt	Peter Sewell

2017-03-15	rename "manual.tex" to "type_system.tex"	Peter Sewell
	fix Makefile clean
2017-01-30	switch to github ott	Peter Sewell

2017-01-30	remove "rm *.tex" from language/Makefile "make clean"	Peter Sewell

2015-05-09	use less confusing Ott binary	Peter Sewell

2015-01-26	update ott path	Kathy Gray

2015-01-23	remove dependency on having ott in ones path	Kathy Gray

2014-11-27	Start having a manual of sorts. At least specify the built in functions	Kathy Gray
	(list not complete)
2014-02-21	Add type annotations to lem grammar, including printing out the annotated ↵	Kathy Gray
	ast, and extending the interpreter to expect annotations. Annotations and locations are still not used by the interpreter.
2013-10-04	Clean up build system	Gabriel Kerneis

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-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-07-26	Remove white space/terminal tracking	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	and matching .ott	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-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-20	Initial commit adding the language files, as requested by Peter in our meeting.	Dominic Mulligan