summaryrefslogtreecommitdiff
path: root/src/TranslateCore.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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