summaryrefslogtreecommitdiff
path: root/compiler/LlbcOfJson.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho1-917/+1
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho1-20/+22
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-7/+7
2022-10-26Add meta data with code locations to the various definitionsSon Ho1-85/+229
2022-10-13Rename Modules to CratesSon Ho1-14/+13
2022-09-22Make minor cleanupSon Ho1-3/+8
2022-09-22Make minor modificationsSon Ho1-48/+57
2022-07-29Create global declaration group, address PR changes but introduce bugsSidney Congard1-20/+17
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-28/+45
2022-07-05Remove last prints, adapt JSONSidney Congard1-3/+3
2022-06-23adapt to new LLBC (without OperandConstantValue)Sidney Congard1-18/+12
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-91/+82
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-42/+104
2022-05-15Treat integer casts in a general mannerSon Ho1-0/+4
2022-05-15Add AggregatedOptionSon Ho1-0/+4
2022-05-01Perform some renamingsSon Ho1-5/+5
2022-04-26Introduce the App expression, and make progress updating the codeSon Ho1-1/+1
2022-03-04Fix minor mistakes with regards to extraction of external declarationsSon Ho1-0/+1
2022-03-03In fun_id rename the variant Local to RegularSon Ho1-2/+2
2022-03-03Make good progress on adding support for external and opaqueSon Ho1-6/+12
2022-03-03Rename CfimOfJson to LlbcOfJsonSon Ho1-0/+0
2022-03-03Rename CFIM to LLBCSon Ho1-4/+4
2022-03-03Update the name definition to use path_elemSon Ho1-12/+13
2022-03-03Move the names from Identifiers to NamesSon Ho1-1/+1
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-17/+17
2022-02-28Fix minor issues due to updates in CharonSon Ho1-1/+1
2022-02-24Update the way function names are handledSon Ho1-1/+14
2022-02-22Add support for "fused" match branchesSon Ho1-1/+1
2022-02-10Make minor updates to deserializationSon Ho1-13/+18
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-18 21:32:10 +0000