summaryrefslogtreecommitdiff
path: root/src/pretty_print.ml
AgeCommit message (Expand)Author
2013-11-22Syntax changes per discussions on Thursday.Kathy Gray
2013-11-01Moved metatheory grammars into l2_rules.ottKathy Gray
2013-10-10Fix fundecl and block Lem pretty-printingGabriel Kerneis
2013-10-10Interpreting all expressions except field assignment; pattern matching all ex...Kathy Gray
2013-10-09Adding memory writes. Cleaning up the let in the ott file to reflect what act...Kathy Gray
2013-10-04Missing case in pattern-matchingGabriel Kerneis
2013-09-26Adding undefinedKathy Gray
2013-09-09Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ...Kathy Gray
2013-09-09Pretty printer to Lem ast added; accessed by -lem_ast on the command lineKathy Gray
2013-08-28Fix bug in pattern pretty printingKathy 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-08 09:48:14 +0000