summaryrefslogtreecommitdiff
path: root/src/InterpreterBorrowsCore.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Introduce AEndedSharedBorrow so as not to introduce ABottom whenSon Ho2022-01-271-2/+3
* Add a meta-value in SharedBorrow to carry the shared valueSon Ho2022-01-261-6/+6
* Use msymbolic_value instead of mvalue in some places in Values.aprojSon Ho2022-01-251-2/+2
* Start working on printing for symbolic ASTSon Ho2022-01-241-1/+1
* Update projections_intersect to write it in terms of a more genericSon Ho2022-01-211-28/+74
* Update AProjLoans and AEndedProjLoans to take a list of given backSon Ho2022-01-211-22/+212
* Start updating the interpreter to make it CPSSon Ho2022-01-191-0/+10
* Start storing meta-values in the avalues, for synthesis purposesSon Ho2022-01-191-31/+29
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-50/+5
* Use the new collectionsSon Ho2022-01-151-3/+3
* Fix give_back_symbolic_valueSon Ho2022-01-141-14/+75
* Implement loop detection when ending borrows/abstractionsSon Ho2022-01-141-0/+25
* Implement give_back_symbolic_valueSon Ho2022-01-141-47/+0
* Update aproj to make AEndedProjLoans take an `aproj option` and add theSon Ho2022-01-141-36/+64
* Make good progress on end_proj_loans_symbolicSon Ho2022-01-141-56/+206
* Make good progress on end_proj_loans_symbolicSon Ho2022-01-131-0/+145
* Start updating the assignment semanticsSon Ho2022-01-131-4/+10
* Fix a small bug in projections_intersect and add more debugging outputSon Ho2022-01-131-0/+52
* Remove the inner_outer parameter from end_borrow, etc.Son Ho2022-01-121-18/+4
* Update end_borrow to check if there are loans in borrowed valuesSon Ho2022-01-121-3/+47
* Introduce dummy variables and update assign_to_placeSon Ho2022-01-121-1/+3
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-3/+10
* Add logging information for borrowsSon Ho2022-01-071-0/+3
* CleanupSon Ho2022-01-061-1/+0
* Fix some bugsSon Ho2022-01-061-1/+2
* Cleanup and reorganizeSon Ho2022-01-061-0/+459