summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-02-08Update the Makefile to add hashmap as a test and fix some issuesSon Ho1-1/+15
2022-02-08Fix some issuesSon Ho1-1/+1
2022-02-08Start adding more assumed types and functionsSon Ho1-5/+7
2022-01-29Make the field names optional and make progress on ExtractToFStarSon Ho1-1/+1
2022-01-29Add a "name" field in ModuleSon Ho1-1/+3
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-33/+60
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-6/+7
2022-01-05Update the code to deserialize regions_hierarchy informationSon Ho1-0/+17
2021-12-17Use RegionVarId and RegionId in a more consistent mannerSon Ho1-5/+5
2021-12-01Merge the ADTs, tuples and assumed types in the type and valueSon Ho1-9/+15
2021-12-01Cleanup a bitSon Ho1-1/+1
2021-12-01Factorize type_var and region_varSon Ho1-2/+2
2021-12-01Move the var definitionSon Ho1-2/+2
2021-12-01Merge statements and expressions into statementsSon Ho1-23/+15
2021-11-30Remove the vector type for the Id moduleSon Ho1-19/+11
2021-11-29Fix some issues and start printing modulesSon Ho1-2/+2
2021-11-29Finish cleaning up CfimOfJsonSon Ho1-116/+115
2021-11-29Continue cleaning upSon Ho1-54/+53
2021-11-29Continue cleaninSon Ho1-29/+28
2021-11-29Start cleaning up CfimOfJsonSon Ho1-8/+8
2021-11-29Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho1-14/+1
2021-11-25Start working on function callsSon Ho1-2/+2
2021-11-24Make progress on eval_rvalue and update aggregate_kindSon Ho1-2/+5
2021-11-24Implement eval_binary_opSon Ho1-12/+12
2021-11-23Finish implementing constant_value_to_typed_valueSon Ho1-1/+6
2021-11-23Add more utilities for scalars and add range tests in CfimOfJsonSon Ho1-39/+48
2021-11-22Make progress on {read,write}_pathSon Ho1-3/+0
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