summaryrefslogtreecommitdiff
path: root/src/CfimAst.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make minor modificationsSon Ho2022-01-241-2/+2
|
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-25/+0
|
* Make good progress on implementing utilities to test symbolic executionSon Ho2022-01-061-2/+15
|
* Generate iterators for statementSon Ho2022-01-061-1/+50
|
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-6/+27
|
* Update the code to deserialize regions_hierarchy informationSon Ho2022-01-051-0/+19
|
* Implement the symbolic case of copy_valueSon Ho2022-01-051-3/+3
|
* Introduce the type_context definitionSon Ho2022-01-051-0/+7
|
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-2/+2
|
* Make minor modificationsSon Ho2021-12-081-2/+2
|
* Move the var definitionSon Ho2021-12-011-0/+11
|
* Merge statements and expressions into statementsSon Ho2021-12-011-12/+7
|
* Add various commentsSon Ho2021-12-011-0/+1
|
* Remove the vector type for the Id moduleSon Ho2021-11-301-4/+4
|
* Derive more printing functionsSon Ho2021-11-291-1/+9
|
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-9/+1
|
* Also generate to_yojson functionsSon Ho2021-11-171-9/+9
|
* Make minor modificationsSon Ho2021-11-171-1/+1
|
* Make progress on deserializing modulesSon Ho2021-11-171-0/+2
|
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+9
|
* Start working on json deserializationSon Ho2021-11-171-1/+1
|
* Implement CfimAst.mlSon Ho2021-11-031-0/+71
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 20:22:01 +0000