summaryrefslogtreecommitdiff
path: root/compiler/TranslateCore.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start adding integer functions to the Lean librarySon Ho2024-04-121-0/+19
* Update the name generation and add CLI to print external pat namesSon Ho2024-03-101-4/+18
* Make progress on propagating the changesSon Ho2024-03-081-13/+2
* Update the code following changes in the NameMatcherSon Ho2023-11-291-0/+8
* Improve the generation of parent clause namesSon Ho2023-11-211-3/+6
* Use the name matcher implemented in CharonSon Ho2023-11-201-0/+48
* Finish propagating the changes to the names and cleaningSon Ho2023-11-161-0/+3
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-57/+7
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-18 15:23:43 +0000