summaryrefslogtreecommitdiff
path: root/src/pretty_print.mli
AgeCommit message (Expand)Author
2016-10-11move armv8_extras and power_extras to idl/power and idlarm, fixesChristopher Pulte
2015-10-28progress on lem backend: auto-generate read_register and write_register funct...Christopher Pulte
2015-10-26add preliminary Sail_values.lem, adapt lem pp to recent Ocaml pp changesChristopher Pulte
2015-09-28basic untested ocaml boiler plateKathy Gray
2015-06-10Put missing cases into nexp_eq_checkKathy Gray
2014-05-15Make pp_exp export to bufferGabriel Kerneis
2014-05-15Pretty-print to stdout rather than Format.stdout_formatterGabriel Kerneis
2014-02-07Correct variable-name bug that was throwing away type checking coercions and ...Kathy Gray
2013-09-09Pretty printer to Lem ast added; accessed by -lem_ast on the command lineKathy Gray
2013-08-22Pretty printer for whole AST; due to parenthesis not always being placed wher...Kathy Gray
2013-08-20more support for pretty printingKathy Gray
2013-08-20Set some initial kind environments; start pretty printingKathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:28:31 +0000