sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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".