summaryrefslogtreecommitdiff
path: root/src/InterpreterBorrows.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make more modifications to loggingSon Ho2022-01-071-1/+1
|
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-14/+86
| | | | AEndedIgnoredMutBorrow variant and fix a couple of bugs
* Add logging information for borrowsSon Ho2022-01-071-1/+28
|
* CleanupSon Ho2022-01-061-2/+1
|
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-5/+4
| | | | stateful
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-68/+12
| | | | field in the eval_ctx struct
* Fix more bugsSon Ho2022-01-061-2/+8
|
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+1
|
* Cleanup and reorganizeSon Ho2022-01-061-0/+1
|
* Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho2022-01-061-4/+0
|
* Cleanup the dependencies a bitSon Ho2022-01-061-4/+0
|
* Move some functions from Interpreter to InterpreterBorrowsSon Ho2022-01-061-0/+1115
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 04:09:37 +0000