summaryrefslogtreecommitdiff
path: root/src/Modules.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-03-03Rename CFIM to LLBCSon Ho1-3/+3
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-14/+15
2022-01-29Add a "name" field in ModuleSon Ho1-0/+1
2022-01-18Update type_context to have to have a type info field, use maps insteadSon Ho1-0/+14
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-23/+23
2022-01-14Start working on greedy symbolic value expansion and expansion beforeSon Ho1-0/+44
2022-01-06Cleanup the dependencies a bitSon Ho1-1/+0
2022-01-04More compiler warningsJonathan Protzenko1-1/+0
2022-01-04Fix compiler warningsJonathan Protzenko1-4/+0
2021-11-30Remove the vector type for the Id moduleSon Ho1-2/+2
2021-11-29Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho1-0/+21