summaryrefslogtreecommitdiff
path: root/src/Contexts.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | unit and the abstractions don't contain loans
* 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
| | | | of lists to store the types/functions definitions
* 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
| | | | assignment
* 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
| | | | stateful
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-0/+1
| | | | field in the eval_ctx struct
* 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
| | | | distinct
* 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
|
* Start working on eval_local_function_callSon Ho2021-11-251-0/+4
|
* Implement the Aggregate branch of eval_rvalueSon Ho2021-11-251-0/+3
|