summaryrefslogtreecommitdiff
path: root/src/CfimAst.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move the var definitionSon Ho2021-12-011-0/+11
* Merge statements and expressions into statementsSon Ho2021-12-011-12/+7
* Add various commentsSon Ho2021-12-011-0/+1
* Remove the vector type for the Id moduleSon Ho2021-11-301-4/+4
* Derive more printing functionsSon Ho2021-11-291-1/+9
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-9/+1
* Also generate to_yojson functionsSon Ho2021-11-171-9/+9
* Make minor modificationsSon Ho2021-11-171-1/+1
* Make progress on deserializing modulesSon Ho2021-11-171-0/+2
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+9
* Start working on json deserializationSon Ho2021-11-171-1/+1
* Implement CfimAst.mlSon Ho2021-11-031-0/+71