summaryrefslogtreecommitdiff
path: root/src/CfimAst.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-25/+0
2022-01-06Make good progress on implementing utilities to test symbolic executionSon Ho1-2/+15
2022-01-06Generate iterators for statementSon Ho1-1/+50
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-6/+27
2022-01-05Update the code to deserialize regions_hierarchy informationSon Ho1-0/+19
2022-01-05Implement the symbolic case of copy_valueSon Ho1-3/+3
2022-01-05Introduce the type_context definitionSon Ho1-0/+7
2021-12-17Use RegionVarId and RegionId in a more consistent mannerSon Ho1-2/+2
2021-12-08Make minor modificationsSon Ho1-2/+2
2021-12-01Move the var definitionSon Ho1-0/+11
2021-12-01Merge statements and expressions into statementsSon Ho1-12/+7
2021-12-01Add various commentsSon Ho1-0/+1
2021-11-30Remove the vector type for the Id moduleSon Ho1-4/+4
2021-11-29Derive more printing functionsSon Ho1-1/+9
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-9/+1
2021-11-17Also generate to_yojson functionsSon Ho1-9/+9
2021-11-17Make minor modificationsSon Ho1-1/+1
2021-11-17Make progress on deserializing modulesSon Ho1-0/+2
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-1/+9
2021-11-17Start working on json deserializationSon Ho1-1/+1
2021-11-03Implement CfimAst.mlSon Ho1-0/+71