summaryrefslogtreecommitdiff
path: root/src/Modules.ml (follow)
Commit message (Collapse)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
| | | | of lists to store the types/functions definitions
* 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
| | | | assignment
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 22:39:29 +0000