summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-22Implement typed_avalue_to_string_Son Ho2-11/+110
2021-11-22Start working on printing for avaluesSon Ho3-32/+54
2021-11-22Finish the function typed_value_to_stringSon Ho1-2/+26
2021-11-19Make good progress on pretty-printing for valuesSon Ho2-127/+249
2021-11-19Start working on pretty-printingSon Ho4-6/+144
2021-11-18Start working on end_borrowSon Ho5-18/+145
2021-11-18Add an Errors.ml fileSon Ho2-3/+6
2021-11-18Start working on symbolic values and abstractionsSon Ho1-7/+83
2021-11-18Start working on the values for the interpreterSon Ho2-2/+57
2021-11-18Cleanup moreSon Ho1-14/+0
2021-11-18Cleanup a bitSon Ho1-28/+0
2021-11-18Implement char deserialization and commit forgotten changesSon Ho2-65/+75
2021-11-18Factorize the deserialization code a bitSon Ho2-22/+3
2021-11-18Cleanup a bitSon Ho1-27/+0
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho8-59/+20
2021-11-18Make various modifications to the deserializerSon Ho1-6/+6
2021-11-18Make a minor fix to the deserializerSon Ho1-6/+6
2021-11-18Make the json deserializer workSon Ho3-486/+555
2021-11-17Implement module deserializationSon Ho1-0/+66
2021-11-17Implement deserializing for CfimAstSon Ho1-2/+144
2021-11-17Implement deserialization for ExpressionsSon Ho2-7/+150
2021-11-17Implement values deserializationSon Ho1-1/+82
2021-11-17Make more progress on CfimOfJsonSon Ho2-2/+56
2021-11-17Start implementing by hand the json deserializersSon Ho4-5/+186
2021-11-17Also generate to_yojson functionsSon Ho6-42/+53
2021-11-17Make minor modificationsSon Ho2-3/+7
2021-11-17Make progress on deserializing modulesSon Ho3-28/+22
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho7-25/+61
2021-11-17Make minor modificationsSon Ho1-12/+2
2021-11-17Start working on json deserializationSon Ho4-4/+47
2021-11-03Implement CfimAst.mlSon Ho4-2/+92
2021-11-03Add Values.ml and Expressions.mlSon Ho2-0/+118
2021-11-03Split main.ml between Identifiers.ml and Types.mlSon Ho3-138/+140
2021-11-03Add some type definitionsSon Ho1-2/+43
2021-11-02Setup the projectSon Ho2-0/+112
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 03:13:14 +0000