summaryrefslogtreecommitdiff
path: root/src/pretty_print.ml
AgeCommit message (Expand)Author
2014-04-15Put conditional path information into constraint gathering so that checking u...Kathy Gray
2014-04-10more constraint resolution; and turning off some assert falses until I find o...Kathy Gray
2014-04-08Reduce redundant information in ASTKathy Gray
2014-04-08Try to reduce size of Lem output a little bitKathy Gray
2014-04-02Fix bug that was throwing away the cast telling the interpreter to read a reg...Kathy Gray
2014-04-02Solve more constraints; fix up test suite bugs uncovered by solving more cons...Kathy Gray
2014-03-31Extend constraint checking, and add casts for base of a vector shifts (i.e. f...Kathy Gray
2014-03-26More steps towards solving and using constraint informationKathy Gray
2014-03-26Steps towards solving constraintsKathy Gray
2014-03-23Fix more unification bugsKathy Gray
2014-03-11Change treatment of type abbreviations so that name and full type are availab...Kathy Gray
2014-03-03Fixing assorted bugs. Adding ability to put a type on the identifier being as...Kathy Gray
2014-03-01Fix printing bug on vector slicing that caused only one element to ever be sl...Kathy Gray
2014-02-28Correct bug in parsing and handling a['a:'b] typesKathy Gray
2014-02-21Add type annotations to lem grammar, including printing out the annotated ast...Kathy Gray
2014-02-18Adding explicit order to for loopsKathy Gray
2014-01-08Fix pretty-printing of switch-casesGabriel Kerneis
2013-12-19pretty-print: missing quotes for num literals (lem)Gabriel Kerneis
2013-12-19pretty-print: pattern-matching of indexed vectors in Lem outputGabriel Kerneis
2013-12-18Tweak formatting in pretty printer, and resolve bugs.Kathy Gray
2013-12-17pretty-printer: fix union constructor applicationGabriel Kerneis
2013-12-16pretty-printer: typoGabriel Kerneis
2013-12-13Fix effect annotation pretty-printingGabriel Kerneis
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-28Updated syntax with working examplesKathy Gray
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-09 17:34:24 +0000