summaryrefslogtreecommitdiff
path: root/src/InterpreterExpansion.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add an Opaque variant to type_decl_kind and start updating the codeSon Ho2022-03-031-1/+3
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-5/+5
* Implement the symbolic expansion of Option valuesSon Ho2022-02-091-0/+28
* Replace some instances of failwith with `raise (Failure ...)`Son Ho2022-02-091-16/+21
* Add an option to allow the presence of bottom values below borrowsSon Ho2022-02-081-0/+4
* Make a minor update in InterpreterExpansionSon Ho2022-02-081-0/+3
* Rename the meta-places to [mplace] and update some commentsSon Ho2022-01-271-6/+6
* Add meta information for the variable names in SymbolicAstSon Ho2022-01-271-24/+33
* Add a meta-value in SharedBorrow to carry the shared valueSon Ho2022-01-261-2/+4
* Start working on the generation of the symbolic ASTSon Ho2022-01-211-35/+33
* Update AProjLoans and AEndedProjLoans to take a list of given backSon Ho2022-01-211-15/+15
* Fix a minor issue in expand_symbolic_valueSon Ho2022-01-201-8/+9
* Update InterpreterSon Ho2022-01-201-5/+14
* Add more utilities for bool and integer expansion inSon Ho2022-01-201-16/+99
* Make minor updates to InterpreterBorrows and InterpreterExpansionSon Ho2022-01-191-23/+18
* Update InterpreterExpansion and InterpreterPaths to use CPSSon Ho2022-01-191-84/+74
* Start storing meta-values in the avalues, for synthesis purposesSon Ho2022-01-191-7/+7
* Remove ty_has_regions and use ty_has_borrows insteadSon Ho2022-01-181-1/+1
* Add sv_kind ("symbolic value kind") to track the origin of the symbolicSon Ho2022-01-151-17/+18
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-30/+1
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-14/+118
* Update aproj to make AEndedProjLoans take an `aproj option` and add theSon Ho2022-01-141-7/+46
* Introduce ended borrow/loan projectors over symbolic valuesSon Ho2022-01-131-0/+2
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-10/+12
* Improve logging and introduce eval_operands_prepareSon Ho2022-01-071-0/+13
* CleanupSon Ho2022-01-061-2/+1
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-37/+28
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-45/+32
* Fix some issues when evaluating assertionsSon Ho2022-01-061-0/+2
* Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho2022-01-061-1/+0
* Cleanup the dependencies a bitSon Ho2022-01-061-3/+0
* Move some functions from Interpreter to InterpreterExpansionSon Ho2022-01-061-0/+490