summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | definitions
* 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-10-19 16:48:38 +0000