summaryrefslogtreecommitdiff
path: root/compiler/TranslateCore.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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 18:32:40 +0000