summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix some issues and start printing modulesSon Ho2021-11-291-2/+2
* Finish cleaning up CfimOfJsonSon Ho2021-11-291-116/+115
* Continue cleaning upSon Ho2021-11-291-54/+53
* Continue cleaninSon Ho2021-11-291-29/+28
* Start cleaning up CfimOfJsonSon Ho2021-11-291-8/+8
* Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho2021-11-291-14/+1
* Start working on function callsSon Ho2021-11-251-2/+2
* Make progress on eval_rvalue and update aggregate_kindSon Ho2021-11-241-2/+5
* Implement eval_binary_opSon Ho2021-11-241-12/+12
* Finish implementing constant_value_to_typed_valueSon Ho2021-11-231-1/+6
* Add more utilities for scalars and add range tests in CfimOfJsonSon Ho2021-11-231-39/+48
* Make progress on {read,write}_pathSon Ho2021-11-221-3/+0
* Implement char deserialization and commit forgotten changesSon Ho2021-11-181-65/+0
* Factorize the deserialization code a bitSon Ho2021-11-181-2/+1
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-2/+2
* Make various modifications to the deserializerSon Ho2021-11-181-6/+6
* Make a minor fix to the deserializerSon Ho2021-11-181-6/+6
* Make the json deserializer workSon Ho2021-11-181-477/+505
* Implement module deserializationSon Ho2021-11-171-0/+66
* Implement deserializing for CfimAstSon Ho2021-11-171-2/+144
* Implement deserialization for ExpressionsSon Ho2021-11-171-3/+144
* Implement values deserializationSon Ho2021-11-171-1/+82
* Make more progress on CfimOfJsonSon Ho2021-11-171-0/+54
* Start implementing by hand the json deserializersSon Ho2021-11-171-0/+166