summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-18Implement char deserialization and commit forgotten changesSon Ho1-65/+0
2021-11-18Factorize the deserialization code a bitSon Ho1-2/+1
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-2/+2
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 Ho1-477/+505
2021-11-17Implement module deserializationSon Ho1-0/+66
2021-11-17Implement deserializing for CfimAstSon Ho1-2/+144
2021-11-17Implement deserialization for ExpressionsSon Ho1-3/+144
2021-11-17Implement values deserializationSon Ho1-1/+82
2021-11-17Make more progress on CfimOfJsonSon Ho1-0/+54
2021-11-17Start implementing by hand the json deserializersSon Ho1-0/+166