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