summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-05-20Remove legacy pretty printerGabriel Kerneis
2014-05-20Fix pattern-matching exhaustivenessGabriel Kerneis
2014-05-20Merge new pretty-printerGabriel Kerneis
2014-05-20Fix interp compiling bugKathy Gray
2014-05-20yet more interfaceKathy Gray
2014-05-20Fix precedence of right_atomic_exp (if, foreach, let)Gabriel Kerneis
2014-05-20More sensible whitespacingGabriel Kerneis
2014-05-20More interfaceKathy Gray
2014-05-19Print type-check warning to stderr instead of stdoutGabriel Kerneis
2014-05-19Improve line breaksGabriel Kerneis
2014-05-19Refactor lexp and patterns to fix precedenceGabriel Kerneis
2014-05-19Various wrong tokens in pretty-printerGabriel Kerneis
2014-05-19Add tricky necessary whitespace to avoid lexer confusionGabriel Kerneis
2014-05-19Bugs in old pretty-printerGabriel Kerneis
2014-05-19More parser comments (and remove one spurious atomic_)Gabriel 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-15Check name_sect during parsingGabriel Kerneis
2014-05-15Expression support in new pretty-printerGabriel Kerneis
2014-05-15Cosmetic tweaks to new pretty-printerGabriel Kerneis
2014-05-15Questions and comments about parserGabriel Kerneis
2014-05-15Missing cases in lexer and parserGabriel Kerneis
2014-05-14More interface update for connecting externally (interp_interface provides fu...Kathy Gray
2014-05-12First part of new pretty-printerGabriel Kerneis
2014-05-12Avoid pattern-matching warnings in pretty-printerGabriel Kerneis
2014-05-12OCamlbuild magic to use PPrintGabriel Kerneis
2014-05-12Import pprint libraryGabriel Kerneis
2014-05-12More interface supportKathy Gray
2014-05-08more interface changesKathy Gray
2014-05-06Begin tie to ppcmem style actions/outcomesKathy Gray
2014-05-01Make an overloading type decision (all + operations return ranges, never vect...Kathy Gray
2014-04-30More support for overloading functions; primarily focusing on +Kathy Gray
2014-04-28Add support for overloading for better constraints, and for reducing the numb...Kathy Gray
2014-04-25more support for path-aware (ish) constraint checkingKathy Gray
2014-04-25rename interpreter's local memory type to reflect that it's all local memoryKathy Gray
2014-04-23Rename main to sail, build pretty_printer libGabriel Kerneis
2014-04-23make docGabriel Kerneis
2014-04-21Remove unsoundness of pattern match in interpreterKathy Gray
2014-04-15Use type information in vector concatenation pattern matching in interpreter.Kathy Gray
2014-04-15Put conditional path information into constraint gathering so that checking u...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 13:47:28 +0000