summaryrefslogtreecommitdiff
path: root/src/InterpreterProjectors.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add a meta-value in SharedBorrow to carry the shared valueSon Ho2022-01-261-4/+4
|
* Start working on the generation of the symbolic ASTSon Ho2022-01-211-10/+3
|
* Start storing meta-values in the avalues, for synthesis purposesSon Ho2022-01-191-3/+6
|
* Use the new collectionsSon Ho2022-01-151-7/+7
|
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-2/+2
| | | | copy
* Update aproj to make AEndedProjLoans take an `aproj option` and add theSon Ho2022-01-141-3/+5
| | | | AIgnoredProjBorrows variant
* Update the projectors to ignore values when they don't contain regionsSon Ho2022-01-131-177/+187
| | | | of interest
* Fix a small bug in projections_intersect and add more debugging outputSon Ho2022-01-131-4/+21
|
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-10/+17
| | | | AEndedIgnoredMutBorrow variant and fix a couple of bugs
* CleanupSon Ho2022-01-061-5/+2
|
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-7/+1
| | | | stateful
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-16/+17
| | | | field in the eval_ctx struct
* Implement a small improvement for apply_reborrowsSon Ho2022-01-061-3/+10
|
* Fix some bugsSon Ho2022-01-061-0/+4
|
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+7
|
* Cleanup and reorganizeSon Ho2022-01-061-0/+1
|
* Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho2022-01-061-4/+1
|
* Cleanup the dependencies a bitSon Ho2022-01-061-2/+0
|
* Move some functions from Interpreter to InterpreterProjectorsSon Ho2022-01-061-0/+505
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 13:37:31 +0000