sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-02-03	fix headers	Peter Sewell
2017-01-31	Kathy, Peter: pp of initial type environment	Peter Sewell
2016-11-28	make sail produce prompt and state version of shallow embedding files at the ...	Christopher Pulte
2016-11-14	add option -lem_sequential for producing shallow embedding that refers to sta...	Christopher Pulte
2016-10-18	Expose type environment after checking, for use in analysis	Kathy Gray
2016-02-23	Several fixes	Kathy Gray
2015-10-06	added the preliminary lem output option that for now uses ocaml pp	Christopher Pulte
2015-09-29	Boiler plate to generate an ml file from a sail spec. Now debugging the outpu...	Kathy Gray
2015-02-13	Actually use new dependency information in generation of lem/etc.	Kathy Gray
2015-02-03	Correct bug in typedef NAME = register bits .... for Dec not present in Inc	Kathy Gray
2014-12-10	Support splitting sail definition across multiple files	Kathy Gray
2014-07-29	A file can now declare that a default order is either inc or dec, and this wi...	Kathy Gray
2014-05-15	Pretty-print to stdout rather than Format.stdout_formatter	Gabriel Kerneis
2014-04-23	Rename main to sail, build pretty_printer lib	Gabriel Kerneis