summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2014-06-05Enable single-stepping for test/power.sailGabriel Kerneis
2014-06-05Refactor to_vec and add work-around to avoid truncationGabriel Kerneis
2014-06-04Fixup type coercions and overloadingKathy Gray
2014-06-02Fix dependent-type for MEM in power.sailGabriel Kerneis
2014-05-30Remove fresh variables from type annotations (have not tested yet that the re...Kathy Gray
2014-05-30Change == to eq_big_int in a missed comparisonKathy Gray
2014-05-30Add pretty-printer test (idempotence)Gabriel Kerneis
2014-05-30Remove bit-rotted, abonned test fileGabriel Kerneis
2014-05-30More correct arithmetic types, to generate even more constraintsKathy Gray
2014-05-29Check constraints in power.sail; this required using big_int instead of int t...Kathy Gray
2014-05-28correct mismatched parens didn't mean to commit...Kathy Gray
2014-05-28Support stepped interpreting, and use normalisation instead of eval_nexp in c...Kathy Gray
2014-05-23Convert nexps into a normal formKathy Gray
2014-05-22A (hopefully) sufficient interface and implementation between memory and the ...Kathy Gray
2014-05-21correct accidental capitalization of Interp in file nameKathy Gray
2014-05-21More interface support; interp_inter_imp now compilingKathy Gray
2014-05-20Fix semicolon in scattered unionsGabriel Kerneis
2014-05-20Turn off annoying printfKathy Gray
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 14:47:39 +0000