sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-11-23	make pretty_interp be back in sync with pretty_print	Kathy Gray

2014-11-21	Print out default values for underspecified vectors instead of leaving them ↵	Kathy Gray
	and letting them turn into undefineds
2014-11-17	Use red printing for the value in the hole from Printing_functions instead ↵	Kathy Gray
	of mangling the ascii manually
2014-11-11	remove [ and ] from values in the hole	Kathy Gray

2014-11-10	Print contents of the [_] hole when it's available.	Kathy Gray
	Also correct makefile typo
2014-11-07	stop using LEMLIB in makefile, in case that's interfering with lem library ↵	Kathy Gray
	placement, switch to LEMLIBOCAML
2014-11-06	Refactor printing to display the contents the [_] and to better format bit ↵	Kathy Gray
	vectors
2014-10-14	Iron out bugs in running new executable with branching; add new executable ↵	Kathy Gray
	as well.
2014-06-30	Support for nondeterministic blocks	Kathy Gray

2014-06-09	Better, colored hole	Gabriel Kerneis

2014-06-09	Support deinfix pretty-printing	Gabriel Kerneis

2014-06-09	Add switch to show/hide casts in interpreter	Gabriel Kerneis
	Use "show_casts" and "hide_casts" in interactive interpreter to display or show casts in expressions. Hidden by default (makes things much less readable otherwise).
2014-06-07	Print holes as [x]	Gabriel Kerneis

2014-06-07	Fix E_vector_append in interp pretty-printer	Gabriel Kerneis

2014-06-06	Add a pretty-printer for Interp_ast	Gabriel Kerneis
	Copy-pasted with a few tweaks from Pretty_printer. Should really make a functor instead, but not sure how to deal with E_internal_cast yet. Note that Interp_ast and Ast are not generated from the same ott file (resp. l2.ott and l2_type.ott), but they are close enough that the code almost "just works".