summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-17/+17
* Fix minor issues due to updates in CharonSon Ho2022-02-281-1/+1
* Update the way function names are handledSon Ho2022-02-241-1/+14
* Add support for "fused" match branchesSon Ho2022-02-221-1/+1
* Make minor updates to deserializationSon Ho2022-02-101-13/+18
* Update the Makefile to add hashmap as a test and fix some issuesSon Ho2022-02-081-1/+15
* Fix some issuesSon Ho2022-02-081-1/+1
* Start adding more assumed types and functionsSon Ho2022-02-081-5/+7
* Make the field names optional and make progress on ExtractToFStarSon Ho2022-01-291-1/+1
* Add a "name" field in ModuleSon Ho2022-01-291-1/+3
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-33/+60
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-6/+7
* Update the code to deserialize regions_hierarchy informationSon Ho2022-01-051-0/+17
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-5/+5
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-9/+15
* Cleanup a bitSon Ho2021-12-011-1/+1
* Factorize type_var and region_varSon Ho2021-12-011-2/+2
* Move the var definitionSon Ho2021-12-011-2/+2
* Merge statements and expressions into statementsSon Ho2021-12-011-23/+15
* Remove the vector type for the Id moduleSon Ho2021-11-301-19/+11
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 18:28:18 +0000