sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
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
2014-02-21	Add type annotations to lem grammar, including printing out the annotated ast...	Kathy Gray
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
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 event...	Kathy Gray
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 in...	Kathy Gray
2013-06-22	use new Ott aux hom to auto-generate location-annotated rules (to reduce	Peter Sewell
2013-06-20	Initial commit adding the language files, as requested by Peter in our meeting.	Dominic Mulligan