summaryrefslogtreecommitdiff
path: root/src/TranslateCore.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Reformat the project with duneSon Ho2022-09-221-3/+7
|
* Address much stuff of the PR, throw exceptions at remaining placesSidney Congard2022-07-181-6/+11
|
* Traduct globals body separately (WIP)Sidney Congard2022-06-301-2/+4
|
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-5/+5
|
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-4/+5
|
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 13:12:40 +0000