summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoops.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Make more fixesSon Ho2023-02-031-47/+159
* Make some fixesSon Ho2023-02-031-20/+200
* Make progress on checking that two environments are equivalentSon Ho2023-02-031-141/+491
* Improve the value visitors and some substitution functionsSon Ho2023-02-031-5/+3
* Make more progress on the joinsSon Ho2023-02-031-142/+127
* Make progress on the fixed point computationSon Ho2023-02-031-356/+266
* Make progress on the environment matchesSon Ho2023-02-031-7/+186
* Make more progressSon Ho2023-02-031-61/+102
* Make progress on environment matches and joinsSon Ho2023-02-031-71/+495
* Make progress on environments matches and joinsSon Ho2023-02-031-27/+369
* Start implementing support for loopsSon Ho2023-02-031-0/+521