summaryrefslogtreecommitdiff
path: root/src/Crates.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-13Rename Modules to CratesSon Ho1-6/+6
2022-09-22Make minor modificationsSon Ho1-9/+11
2022-07-29Create global declaration group, address PR changes but introduce bugsSidney Congard1-11/+16
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-3/+8
2022-06-30Traduct globals body separately (WIP)Sidney Congard1-1/+2
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-1/+1
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-0/+1
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