summaryrefslogtreecommitdiff
path: root/src/Modules.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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