| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Add a sanity check to make sure symbolic values disappear after | Son Ho | 2022-01-04 | 2 | -41/+85 |
* | Fix a few mistakes with symbolic values and their types | Son Ho | 2022-01-04 | 2 | -19/+34 |
* | Update expand_symbolic_value_shared_borrow to reborrow also in the | Son Ho | 2022-01-04 | 2 | -36/+101 |
* | Implement expand_symbolic_value_shared_borrow | Son Ho | 2022-01-04 | 2 | -2/+45 |
* | Implement the mut case of expand_symbolic_value_borrow | Son Ho | 2022-01-04 | 1 | -24/+51 |
* | Make more progress on symbolic expansion | Son Ho | 2022-01-04 | 1 | -156/+160 |
* | Make more progress on symbolic expansion | Son Ho | 2022-01-04 | 1 | -22/+57 |
* | Make progress on the symbolic expansion | Son Ho | 2022-01-04 | 1 | -4/+73 |
* | Fix a few issues with [apply_symbolic_expansion_to_avalues] | Son Ho | 2022-01-04 | 2 | -8/+31 |
* | Update a comment | Son Ho | 2022-01-04 | 1 | -1/+1 |
* | Factorize some code | Son Ho | 2022-01-04 | 1 | -50/+88 |
* | Start working on apply_symbolic_expansion_non_borrow | Son Ho | 2022-01-04 | 1 | -36/+131 |
* | Make minor modifications | Son Ho | 2022-01-04 | 1 | -7/+18 |
* | Implement compute_expanded_symbolic_adt_value | Son Ho | 2022-01-04 | 3 | -29/+83 |
* | Refactor the code a bit | Son Ho | 2022-01-04 | 1 | -14/+14 |
* | Make minor progress on compute_expanded_symbolic_ref_value | Son Ho | 2022-01-03 | 1 | -3/+10 |
* | Implement compute_expanded_symbolic_box_value | Son Ho | 2022-01-03 | 1 | -15/+35 |
* | Implement compute_expanded_symbolic_tuple_value | Son Ho | 2022-01-03 | 1 | -4/+80 |
* | Make a minor modification | Son Ho | 2022-01-03 | 1 | -0/+2 |
* | Update access_projection | Son Ho | 2022-01-03 | 1 | -1/+29 |
* | Update the functions to activate inactivated borrows | Son Ho | 2022-01-03 | 2 | -8/+37 |
* | Update end_abstraction_regions | Son Ho | 2022-01-03 | 1 | -1/+54 |
* | Make minor modifications and make bottom_in_value more general | Son Ho | 2022-01-03 | 1 | -48/+76 |
* | Update a sanity check in apply_proj_borrows | Son Ho | 2022-01-03 | 1 | -12/+38 |
* | Implement rty_regions | Son Ho | 2022-01-03 | 1 | -2/+13 |
* | Generate visitors for ty | Son Ho | 2022-01-03 | 1 | -1/+53 |
* | Make more progress | Son Ho | 2022-01-03 | 1 | -1/+10 |
* | Make progress on end_abstraction_borrows and start implementing | Son Ho | 2022-01-03 | 2 | -9/+94 |
* | Start implementing end_abstraction_borrow | Son Ho | 2022-01-03 | 2 | -15/+111 |
* | Start working on end_abstraction | Son Ho | 2022-01-03 | 3 | -7/+105 |
* | Replace AProjSharedLoan with AIgnoredSharedLoan | Son Ho | 2022-01-03 | 3 | -59/+16 |
* | Cleanup a bit to remove warnings | Son Ho | 2022-01-03 | 2 | -8/+6 |
* | Add detailed comments to aloan_content and aborrow_content | Son Ho | 2022-01-03 | 1 | -17/+200 |
* | Add a detailed example in the comments for drop_borrows_loans_at_place | Son Ho | 2022-01-03 | 1 | -3/+41 |
* | Do more cleanup | Son Ho | 2022-01-03 | 1 | -4/+5 |
* | Cleanup a bit and fix some issues | Son Ho | 2022-01-03 | 2 | -29/+29 |
* | Add a comment | Son Ho | 2021-12-17 | 1 | -1/+2 |
* | Implement apply_proj_borrows_on_shared_borrow | Son Ho | 2021-12-17 | 2 | -25/+148 |
* | Rename AIgnoredShared{Borrow,Loan} to AProjShared{Borrow,Loan} | Son Ho | 2021-12-17 | 3 | -30/+30 |
* | Update give_back | Son Ho | 2021-12-17 | 1 | -1/+5 |
* | Update reborrow_shared | Son Ho | 2021-12-17 | 1 | -1/+8 |
* | Implement apply_reborrows | Son Ho | 2021-12-17 | 2 | -14/+113 |
* | Make progress on apply_proj_borrows | Son Ho | 2021-12-17 | 1 | -11/+82 |
* | Make progress on apply_proj_borrows | Son Ho | 2021-12-17 | 1 | -11/+34 |
* | Use eval_ctx instead of env in many functions of the interpreter | Son Ho | 2021-12-17 | 3 | -1239/+163 |
* | Rename some functions | Son Ho | 2021-12-17 | 2 | -5/+5 |
* | Add more field type instantiation functions for the ADTs | Son Ho | 2021-12-17 | 1 | -1/+40 |
* | Rename some functions | Son Ho | 2021-12-17 | 2 | -6/+6 |
* | Fix some issues | Son Ho | 2021-12-17 | 1 | -5/+8 |
* | Take the abstract shared borrows into account | Son Ho | 2021-12-17 | 2 | -12/+74 |