summaryrefslogtreecommitdiff
path: root/src/pretty_print.mli
AgeCommit message (Expand)Author
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2019-01-17Work around an issue with type abbreviations in HOLThomas Bauereiss
2018-07-25Remove unused internal AST nodesAlasdair Armstrong
2018-01-12Merge remote-tracking branch 'origin/experiments' into sail2Alasdair Armstrong
2018-01-05Removed legacy parser/lexer and pretty printerAlasdair Armstrong
2017-12-14Make sequential and mwords global variables in Lem pretty-printerThomas Bauereiss
2017-12-05Update license headers for Sail sourceAlasdair Armstrong
2017-11-24Use unbound precision big_ints throughout sail.Alasdair Armstrong
2017-08-24Begin refactoring Sail libraryThomas Bauereiss
2017-08-17Add support for register types other than bitvector to state monadThomas Bauereiss
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-07-21Switch to new typechecker (almost)Thomas Bauereiss
2017-06-29Various improvements to typecheckerAlasdair Armstrong
2017-02-03fix headersPeter Sewell
2017-01-31Kathy, Peter: pp of initial type environmentPeter Sewell
2016-11-28make sail produce prompt and state version of shallow embedding files at the ...Christopher Pulte
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-01-31 08:12:59 +0000