summaryrefslogtreecommitdiff
path: root/src/Modules.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Create global declaration group, address PR changes but introduce bugsSidney Congard2022-07-291-11/+16
* Address much stuff of the PR, throw exceptions at remaining placesSidney Congard2022-07-181-3/+8
* Traduct globals body separately (WIP)Sidney Congard2022-06-301-1/+2
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-1/+1
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-0/+1
* Rename CFIM to LLBCSon Ho2022-03-031-3/+3
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-14/+15
* Add a "name" field in ModuleSon Ho2022-01-291-0/+1
* Update type_context to have to have a type info field, use maps insteadSon Ho2022-01-181-0/+14
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-23/+23
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-0/+44
* Cleanup the dependencies a bitSon Ho2022-01-061-1/+0
* Fix compiler warningsJonathan Protzenko2022-01-041-4/+0
* Remove the vector type for the Id moduleSon Ho2021-11-301-2/+2
* Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho2021-11-291-0/+21