sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2015-10-28	progress on lem backend: auto-generate read_register and write_register ↵	Christopher Pulte
	functions, and state definition
2015-10-26	add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changes	Christopher Pulte

2015-09-28	basic untested ocaml boiler plate	Kathy Gray

2015-06-10	Put missing cases into nexp_eq_check	Kathy Gray

2014-05-15	Make pp_exp export to buffer	Gabriel Kerneis

2014-05-15	Pretty-print to stdout rather than Format.stdout_formatter	Gabriel Kerneis
	PPrint.ToFormatter is either broken, or I do not know how to use it properly. Switching to ToChannel solves the issue nicely.
2014-02-07	Correct variable-name bug that was throwing away type checking coercions and ↵	Kathy Gray
	type annotations
2013-09-09	Pretty printer to Lem ast added; accessed by -lem_ast on the command line	Kathy Gray

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-20	more support for pretty printing	Kathy Gray

2013-08-20	Set some initial kind environments; start pretty printing	Kathy Gray