summaryrefslogtreecommitdiff
path: root/compiler/LlbcAst.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho1-189/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-10/+10
2022-10-26Add meta data with code locations to the various definitionsSon Ho1-5/+20
2022-09-22Make minor cleanupSon Ho1-22/+9
2022-07-25Apply minor changes from PR commentsSidney Congard1-4/+4
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-12/+9
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-1/+26
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-3/+2
2022-05-01Perform some renamingsSon Ho1-2/+2
2022-03-03In fun_id rename the variant Local to RegularSon Ho1-1/+1
2022-03-03Make good progress on adding support for external and opaqueSon Ho1-19/+0
2022-03-03Rename CfimOfJson to LlbcOfJsonSon Ho1-0/+13
2022-03-03Rename CFIM to LLBCSon Ho1-0/+0
2022-03-03Move the names from Identifiers to NamesSon Ho1-0/+1
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-4/+4
2022-02-24Update the way function names are handledSon Ho1-1/+1
2022-02-22Add support for "fused" match branchesSon Ho1-3/+5
2022-02-08Make minor modificationsSon Ho1-2/+2
2022-02-08Start adding more assumed types and functionsSon Ho1-1/+14
2022-01-24Make minor modificationsSon Ho1-2/+2
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-25/+0
2022-01-06Make good progress on implementing utilities to test symbolic executionSon Ho1-2/+15
2022-01-06Generate iterators for statementSon Ho1-1/+50
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-6/+27
2022-01-05Update the code to deserialize regions_hierarchy informationSon Ho1-0/+19
2022-01-05Implement the symbolic case of copy_valueSon Ho1-3/+3
2022-01-05Introduce the type_context definitionSon Ho1-0/+7
2021-12-17Use RegionVarId and RegionId in a more consistent mannerSon Ho1-2/+2
2021-12-08Make minor modificationsSon Ho1-2/+2
2021-12-01Move the var definitionSon Ho1-0/+11
2021-12-01Merge statements and expressions into statementsSon Ho1-12/+7
2021-12-01Add various commentsSon Ho1-0/+1
2021-11-30Remove the vector type for the Id moduleSon Ho1-4/+4
2021-11-29Derive more printing functionsSon Ho1-1/+9
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-9/+1
2021-11-17Also generate to_yojson functionsSon Ho1-9/+9
2021-11-17Make minor modificationsSon Ho1-1/+1
2021-11-17Make progress on deserializing modulesSon Ho1-0/+2
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-1/+9
2021-11-17Start working on json deserializationSon Ho1-1/+1
2021-11-03Implement CfimAst.mlSon Ho1-0/+71