summaryrefslogtreecommitdiff
path: root/src/Contexts.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename Modules to CratesSon Ho2022-10-131-3/+2
* Reformat the project with duneSon Ho2022-09-221-9/+4
* Address much stuff of the PR, throw exceptions at remaining placesSidney Congard2022-07-181-3/+8
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-2/+9
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-0/+1
* Add an option to eagerly end abstractions if a function has return typeSon Ho2022-05-061-0/+11
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-9/+9
* Add an option to allow the presence of bottom values below borrowsSon Ho2022-02-081-0/+19
* Introduce Contexts.fun_contextSon Ho2022-01-271-2/+4
* Start working on the generation of the symbolic ASTSon Ho2022-01-211-1/+5
* Fix a minor issue in expand_symbolic_valueSon Ho2022-01-201-0/+2
* Update a commentSon Ho2022-01-201-4/+15
* Fix a commentSon Ho2022-01-201-1/+1
* Make minor modificationsSon Ho2022-01-201-0/+27
* Update type_context to have to have a type info field, use maps insteadSon Ho2022-01-181-4/+5
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-1/+1
* Use the new collectionsSon Ho2022-01-151-2/+2
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-2/+41
* Update end_borrow to check if there are loans in borrowed valuesSon Ho2022-01-121-3/+11
* Introduce dummy variables and update assign_to_placeSon Ho2022-01-121-8/+37
* CleanupSon Ho2022-01-061-2/+2
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-23/+40
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-0/+1
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-0/+10
* Prepare the terrain for evaluation of function calls in symbolic modeSon Ho2022-01-051-1/+3
* Implement the symbolic case of eval_rvalue_discriminantSon Ho2022-01-051-1/+2
* Introduce the type_context definitionSon Ho2022-01-051-2/+4
* Start working on end_abstractionSon Ho2022-01-031-0/+13
* Cleanup a bit to remove warningsSon Ho2022-01-031-3/+3
* Use eval_ctx instead of env in many functions of the interpreterSon Ho2021-12-171-0/+20
* Implement the avalue cases of give_back_valueSon Ho2021-12-171-1/+0
* Rename some methodsSon Ho2021-12-171-8/+8
* Rewrite give_back_value with visitorsSon Ho2021-12-171-14/+21
* Update the env frame iterators to prepare support for abstractionsSon Ho2021-12-081-50/+21
* Generate iterators for Contexts.envSon Ho2021-12-081-4/+39
* Rename env_value to env_elemSon Ho2021-12-081-12/+10
* Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho2021-12-081-1/+4
* Add iterators over whole environmentsSon Ho2021-12-071-1/+44
* Implement map_frame_concreteSon Ho2021-12-071-2/+24
* Implement the visitor iter_frame_concreteSon Ho2021-12-071-0/+20
* Introduce [binder] and use them in place of [var] in the environmentsSon Ho2021-11-301-4/+16
* Remove the vector type for the Id moduleSon Ho2021-11-301-3/+3
* Debug some issues in the interpreterSon Ho2021-11-301-15/+22
* Derive more printing functionsSon Ho2021-11-291-2/+5
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-2/+0
* Make progress on evaluate_non_local_function_callSon Ho2021-11-261-0/+4
* Make good progress on eval_local_function_callSon Ho2021-11-261-0/+31
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-12/+9
* Use var instead of VarId.id in environmentsSon Ho2021-11-251-7/+12