summaryrefslogtreecommitdiff
path: root/src/lem_interp/pretty_interp.ml
AgeCommit message (Expand)Author
2014-11-23make pretty_interp be back in sync with pretty_printKathy Gray
2014-11-21Print out default values for underspecified vectors instead of leaving them a...Kathy Gray
2014-11-17Use red printing for the value in the hole from Printing_functions instead of...Kathy Gray
2014-11-11remove [ and ] from values in the holeKathy Gray
2014-11-10Print contents of the [_] hole when it's available.Kathy Gray
2014-11-07stop using LEMLIB in makefile, in case that's interfering with lem library pl...Kathy Gray
2014-11-06Refactor printing to display the contents the [_] and to better format bit ve...Kathy Gray
2014-10-14Iron out bugs in running new executable with branching; add new executable as...Kathy Gray
2014-06-30Support for nondeterministic blocksKathy Gray
2014-06-09Better, colored holeGabriel Kerneis
2014-06-09Support deinfix pretty-printingGabriel Kerneis
2014-06-09Add switch to show/hide casts in interpreterGabriel Kerneis
2014-06-07Print holes as [x]Gabriel Kerneis
2014-06-07Fix E_vector_append in interp pretty-printerGabriel Kerneis
2014-06-06Add a pretty-printer for Interp_astGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 12:48:25 +0000