summaryrefslogtreecommitdiff
path: root/src/TranslateCore.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start implementing divergence, can_fail, statefullness analysesSon Ho2022-05-041-1/+10
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-19/+19
* Update the way function names are handledSon Ho2022-02-241-1/+2
* Make minor modificationsSon Ho2022-02-081-0/+6
* Finish implementing filter_unused_assignmentsSon Ho2022-01-281-0/+3
* Cleanup a bitSon Ho2022-01-281-1/+0
* Apply the micro-passes to the pure ASTsSon Ho2022-01-281-0/+2
* Make a lot of small modificationsSon Ho2022-01-281-0/+34