summaryrefslogtreecommitdiff
path: root/src/main.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement end_borrow_get_borrow_in_envSon Ho2021-11-221-3/+1
* Start working on pretty-printingSon Ho2021-11-191-0/+2
* Start working on end_borrowSon Ho2021-11-181-0/+1
* Cleanup moreSon Ho2021-11-181-14/+0
* Cleanup a bitSon Ho2021-11-181-28/+0
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-2/+0
* Make the json deserializer workSon Ho2021-11-181-3/+17
* Start implementing by hand the json deserializersSon Ho2021-11-171-0/+4
* Also generate to_yojson functionsSon Ho2021-11-171-1/+7
* Make minor modificationsSon Ho2021-11-171-2/+6
* Make progress on deserializing modulesSon Ho2021-11-171-26/+20
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+1
* Start working on json deserializationSon Ho2021-11-171-1/+15
* Implement CfimAst.mlSon Ho2021-11-031-0/+1
* Split main.ml between Identifiers.ml and Types.mlSon Ho2021-11-031-138/+1
* Add some type definitionsSon Ho2021-11-031-2/+43
* Setup the projectSon Ho2021-11-021-0/+110