summaryrefslogtreecommitdiff
path: root/src/CfimAst.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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