summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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