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