summaryrefslogtreecommitdiff
path: root/src/pretty_print_ocaml.ml
AgeCommit message (Expand)Author
2017-11-24Use unbound precision big_ints throughout sail.Alasdair Armstrong
2017-11-16Remove unused Typ_wild constructorAlasdair Armstrong
2017-09-21Remove unused kind_def (KD_) nodes from ASTAlasdair Armstrong
2017-09-21Simplify AST by removing LB_val_explicit and replace LB_val_implicit with jus...Alasdair Armstrong
2017-09-21Cleaning up the AST and removing redundant and/or unused nodesAlasdair Armstrong
2017-08-15Removed Typ_arg_effect - nobody used it and it isn't supported by the backends.Alasdair Armstrong
2017-08-02Improve pretty-printing of register declaration and assignmentThomas Bauereiss
2017-08-01Add missing lexp case to Ocaml pretty-printerThomas Bauereiss
2017-07-27Add cons patterns to pretty-printersThomas Bauereiss
2017-07-21Everything moved to new typecheckerAlasdair Armstrong
2017-07-21Switch to new typechecker (almost)Thomas Bauereiss
2017-06-21Pretty-print bitvector expressionsThomas Bauereiss
2017-05-08add some missing things in sail_values and make big_int version the default f...Robert Norton
2017-05-08add error messages for unhandled pattern match nodes in ocaml pretty printer.Robert Norton
2017-05-08put failwith in brackets to avoid parse error.Robert Norton
2017-04-21define some big_int literals in sail_values.ml to avoid lots of calls to bit_...Robert Norton
2017-04-20add brackets around integer literals so that ocaml parses them correctly and ...Robert Norton
2017-04-20add missing KD_nabbrev support in ocaml shallow embedding.Robert Norton
2017-04-20support assert in ocaml shallow embedding.Robert Norton
2017-04-20use mangled field name when accessing record field.Robert Norton
2017-04-20add name to register representation and print it on write.Robert Norton
2017-04-18make ocaml embedding of foreach use (now universal) big_ints.Robert Norton
2017-04-18Implement return using an exception caught in the function body. Polymorphic ...Robert Norton
2017-04-18Generate runtime error for L_undef. Existing code was broken except for type ...Robert Norton
2017-04-07fix error in generated ocaml where writing single bit of register was not tak...Robert Norton
2017-04-06use set_register when writing element of vector of registers to avoid acciden...Robert Norton
2017-03-29Factor out pretty printers into separate files. Hopefully this will make sear...Robert Norton
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 07:54:33 +0000