summaryrefslogtreecommitdiff
path: root/compiler/Contexts.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho1-9/+9
2022-10-28Make minor updates to account for Charon's changesSon Ho1-2/+2
2022-10-28Move some files to the Charon projectSon Ho1-0/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-59/+59
2022-10-13Rename Modules to CratesSon Ho1-3/+2
2022-09-22Reformat the project with duneSon Ho1-9/+4
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-3/+8
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-2/+9
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-0/+1
2022-05-06Add an option to eagerly end abstractions if a function has return typeSon Ho1-0/+11
2022-03-03Rename CFIM to LLBCSon Ho1-1/+1
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-9/+9
2022-02-08Add an option to allow the presence of bottom values below borrowsSon Ho1-0/+19
2022-01-27Introduce Contexts.fun_contextSon Ho1-2/+4
2022-01-21Start working on the generation of the symbolic ASTSon Ho1-1/+5
2022-01-20Fix a minor issue in expand_symbolic_valueSon Ho1-0/+2
2022-01-20Update a commentSon Ho1-4/+15
2022-01-20Fix a commentSon Ho1-1/+1
2022-01-20Make minor modificationsSon Ho1-0/+27
2022-01-18Update type_context to have to have a type info field, use maps insteadSon Ho1-4/+5
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-1/+1
2022-01-15Use the new collectionsSon Ho1-2/+2
2022-01-14Start working on greedy symbolic value expansion and expansion beforeSon Ho1-2/+41
2022-01-12Update end_borrow to check if there are loans in borrowed valuesSon Ho1-3/+11
2022-01-12Introduce dummy variables and update assign_to_placeSon Ho1-8/+37
2022-01-06CleanupSon Ho1-2/+2
2022-01-06Make the symbolic, borrow, region and abstration counters global andSon Ho1-23/+40
2022-01-06Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho1-0/+1
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-0/+10
2022-01-05Prepare the terrain for evaluation of function calls in symbolic modeSon Ho1-1/+3
2022-01-05Implement the symbolic case of eval_rvalue_discriminantSon Ho1-1/+2
2022-01-05Introduce the type_context definitionSon Ho1-2/+4
2022-01-03Start working on end_abstractionSon Ho1-0/+13
2022-01-03Cleanup a bit to remove warningsSon Ho1-3/+3
2021-12-17Use eval_ctx instead of env in many functions of the interpreterSon Ho1-0/+20
2021-12-17Implement the avalue cases of give_back_valueSon Ho1-1/+0
2021-12-17Rename some methodsSon Ho1-8/+8
2021-12-17Rewrite give_back_value with visitorsSon Ho1-14/+21
2021-12-08Update the env frame iterators to prepare support for abstractionsSon Ho1-50/+21
2021-12-08Generate iterators for Contexts.envSon Ho1-4/+39
2021-12-08Rename env_value to env_elemSon Ho1-12/+10
2021-12-08Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho1-1/+4
2021-12-07Add iterators over whole environmentsSon Ho1-1/+44
2021-12-07Implement map_frame_concreteSon Ho1-2/+24
2021-12-07Implement the visitor iter_frame_concreteSon Ho1-0/+20
2021-11-30Introduce [binder] and use them in place of [var] in the environmentsSon Ho1-4/+16
2021-11-30Remove the vector type for the Id moduleSon Ho1-3/+3
2021-11-30Debug some issues in the interpreterSon Ho1-15/+22
2021-11-29Derive more printing functionsSon Ho1-2/+5
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 14:37:45 +0000