summaryrefslogtreecommitdiff
path: root/compiler/InterpreterBorrows.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-03Factor out some code and update some commentsSon Ho1-0/+17
2024-05-27Add markers everywhere, do not use them yetAymeric Fromherz1-3/+28
2024-05-24Rename meta into spanAymeric Fromherz1-14/+14
2024-03-28formattingEscherichia1-5/+9
2024-03-28Inverted meta and config argument orders (from meta -> config to config -> meta)Escherichia1-9/+9
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-13/+14
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-47/+32
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-1/+0
2023-02-03Implement support for nested borrows in loops, and add loop testsSon Ho1-6/+7
2023-02-03Make minor modifications to improve the quality of the loop translationSon Ho1-1/+1
2023-02-03Update the comments in Values and make minor modificationsSon Ho1-5/+14
2023-02-03Remove the meta-value field from AMutBorrowSon Ho1-4/+0
2023-02-03Make minor modificationsSon Ho1-0/+4
2023-02-03Improve merge_abstractionsSon Ho1-5/+8
2023-02-03Make progress on the fixed point computationSon Ho1-0/+41
2023-02-03Make progress on environment matches and joinsSon Ho1-8/+76
2023-02-03Make progress on environments matches and joinsSon Ho1-0/+4
2023-02-03Start implementing support for loopsSon Ho1-0/+89
2022-11-07Rename "inactivated borrows" to "reserved borrows"Son Ho1-2/+10
2022-11-07Add some .mli filesSon Ho1-0/+34
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 01:59:42 +0000