summaryrefslogtreecommitdiff
path: root/src/InterpreterBorrowsCore.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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