summaryrefslogtreecommitdiff
path: root/compiler/TranslateCore.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge trans_ctx and decls_ctxSon Ho2023-09-171-33/+12
|
* Add the keep_fwd field in TranslateCore.pure_fun_translationSon Ho2023-09-031-1/+12
|
* Update TranslateCore.pure_fun_translationSon Ho2023-09-031-1/+1
|
* Update the type TranslateCore.fun_and_loopsSon Ho2023-09-031-1/+1
|
* Make progress on the extractionSon Ho2023-09-031-0/+1
|
* Update TranslateCore and factor out some definitions in PrintPureSon Ho2023-08-311-16/+30
|
* Make progress proapagating the changesSon Ho2023-08-021-6/+12
|
* Fix various issues with the generation of code for the loopsSon Ho2023-02-031-1/+3
|
* Reorganize a bit the projectSon Ho2022-10-271-0/+65