summaryrefslogtreecommitdiff
path: root/compiler/TranslateCore.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-12Start adding integer functions to the Lean librarySon Ho1-0/+19
2024-03-10Update the name generation and add CLI to print external pat namesSon Ho1-4/+18
2024-03-08Make progress on propagating the changesSon Ho1-13/+2
2023-11-29Update the code following changes in the NameMatcherSon Ho1-0/+8
2023-11-21Improve the generation of parent clause namesSon Ho1-3/+6
2023-11-20Use the name matcher implemented in CharonSon Ho1-0/+48
2023-11-16Finish propagating the changes to the names and cleaningSon Ho1-0/+3
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-57/+7
2023-09-17Merge trans_ctx and decls_ctxSon Ho1-33/+12
2023-09-03Add the keep_fwd field in TranslateCore.pure_fun_translationSon Ho1-1/+12
2023-09-03Update TranslateCore.pure_fun_translationSon Ho1-1/+1
2023-09-03Update the type TranslateCore.fun_and_loopsSon Ho1-1/+1
2023-09-03Make progress on the extractionSon Ho1-0/+1
2023-08-31Update TranslateCore and factor out some definitions in PrintPureSon Ho1-16/+30
2023-08-02Make progress proapagating the changesSon Ho1-6/+12
2023-02-03Fix various issues with the generation of code for the loopsSon Ho1-1/+3
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-13Rename Modules to CratesSon Ho1-1/+0
2022-09-22Reformat the project with duneSon Ho1-3/+7
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-6/+11
2022-06-30Traduct globals body separately (WIP)Sidney Congard1-2/+4
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-5/+5
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-4/+5
2022-05-04Start implementing divergence, can_fail, statefullness analysesSon Ho1-1/+10
2022-03-03Rename CFIM to LLBCSon Ho1-1/+1
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-19/+19
2022-02-24Update the way function names are handledSon Ho1-1/+2
2022-02-08Make minor modificationsSon Ho1-0/+6
2022-01-28Finish implementing filter_unused_assignmentsSon Ho1-0/+3
2022-01-28Cleanup a bitSon Ho1-1/+0
2022-01-28Apply the micro-passes to the pure ASTsSon Ho1-0/+2
2022-01-28Make a lot of small modificationsSon Ho1-0/+34
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 17:15:55 +0000