summaryrefslogtreecommitdiff
path: root/src/pretty_print.ml
AgeCommit message (Expand)Author
2014-05-19Bugs in old pretty-printerGabriel Kerneis
2014-05-16Improve spacing in pretty-printerGabriel Kerneis
2014-05-15Make pp_exp export to bufferGabriel Kerneis
2014-05-15Group definitionsGabriel Kerneis
2014-05-15Add support for scattered functionsGabriel Kerneis
2014-05-15Refactor doc_type_unionGabriel Kerneis
2014-05-15Fix recursive call to doc_expGabriel Kerneis
2014-05-15Missing space for function clausesGabriel Kerneis
2014-05-15Exhaustive check of app_infix operators for precedenceGabriel Kerneis
2014-05-15Pretty-print to stdout rather than Format.stdout_formatterGabriel Kerneis
2014-05-15Fix infinite loop bugGabriel Kerneis
2014-05-15Testing pretty-printerGabriel Kerneis
2014-05-15Finish pretty-printer translationGabriel Kerneis
2014-05-15Expression support in new pretty-printerGabriel Kerneis
2014-05-15Cosmetic tweaks to new pretty-printerGabriel Kerneis
2014-05-12First part of new pretty-printerGabriel Kerneis
2014-05-12Avoid pattern-matching warnings in pretty-printerGabriel Kerneis
2014-04-28Add support for overloading for better constraints, and for reducing the numb...Kathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 16:59:21 +0000