summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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-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
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-04Cosmetic improvements (statistics, --quiet)Gabriel Kerneis
2014-04-04Improve Power executionGabriel Kerneis
2014-04-03Power example now EXECUTES (almost) CORRECTLY! \o/Gabriel Kerneis
2014-04-03Implement some arithmetic operationsGabriel Kerneis
2014-04-03Re-index vector slicesGabriel Kerneis
2014-04-03Implement bitwise library operationsGabriel Kerneis
2014-04-03Remove workarounds and update Power modelGabriel Kerneis
2014-04-03Typeclass Eq for valuesGabriel Kerneis
2014-04-03make sail backwards compatible to older ocaml againKathy Gray
2014-04-03Do implicit coercions on expliciit castsKathy Gray
2014-04-03Fix arity error in bitwise helper functionKathy Gray
2014-04-03start solving more constraintsKathy Gray
2014-04-03Exhibit two bugs about bitwise operators and vector castsGabriel Kerneis
2014-04-03Correct types of bitwise operatorsGabriel Kerneis
2014-04-03More constraint solving through evaluation, fix size knowledge on coercion.Kathy 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 15:29:24 +0000