summaryrefslogtreecommitdiff
path: root/src/InterpreterBorrows.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-14Make good progress on end_proj_loans_symbolicSon Ho1-8/+51
2022-01-13Make good progress on end_proj_loans_symbolicSon Ho1-5/+27
2022-01-13Update the projectors to ignore values when they don't contain regionsSon Ho1-1/+2
2022-01-13Introduce "AIgnore" for the avaluesSon Ho1-1/+2
2022-01-13Introduce ended borrow/loan projectors over symbolic valuesSon Ho1-38/+47
2022-01-13Start working on checking proj_loans over symbolic values when endingSon Ho1-13/+42
2022-01-12Remove the inner_outer parameter from end_borrow, etc.Son Ho1-34/+25
2022-01-12Update end_borrow to check if there are loans in borrowed valuesSon Ho1-46/+140
2022-01-07Make more modifications to loggingSon Ho1-1/+1
2022-01-07Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho1-14/+86
2022-01-07Add logging information for borrowsSon Ho1-1/+28
2022-01-06CleanupSon Ho1-2/+1
2022-01-06Make the symbolic, borrow, region and abstration counters global andSon Ho1-5/+4
2022-01-06Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho1-68/+12
2022-01-06Fix more bugsSon Ho1-2/+8
2022-01-06Move more definitions and do more cleanupSon Ho1-0/+1
2022-01-06Cleanup and reorganizeSon Ho1-0/+1
2022-01-06Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho1-4/+0
2022-01-06Cleanup the dependencies a bitSon Ho1-4/+0
2022-01-06Move some functions from Interpreter to InterpreterBorrowsSon Ho1-0/+1115
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-25 13:22:59 +0000