| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | 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 |
* | Change the definition of abstract_shared_borrows | Son Ho | 2021-12-17 | 3 | -24/+30 |
* | Make progress on apply_proj_borrows | Son Ho | 2021-12-17 | 1 | -17/+59 |
* | Use RegionVarId and RegionId in a more consistent manner | Son Ho | 2021-12-17 | 7 | -37/+86 |
* | Start working on projections_intersect and apply_proj_borrows | Son Ho | 2021-12-17 | 2 | -2/+75 |
* | Implement the ASharedLoan case of reborrow_shared | Son Ho | 2021-12-17 | 1 | -1/+7 |
* | Make minor modifications | Son Ho | 2021-12-17 | 1 | -3/+3 |
* | Implement give_back_avalue and update give_back_in_env | Son Ho | 2021-12-17 | 1 | -9/+117 |
* | Implement the avalue cases of give_back_shared | Son Ho | 2021-12-17 | 1 | -7/+34 |
* | Rewrite give_back_shared with visitors | Son Ho | 2021-12-17 | 1 | -61/+52 |
* | Implement the avalue cases of give_back_value | Son Ho | 2021-12-17 | 4 | -14/+95 |
* | Rename some methods | Son Ho | 2021-12-17 | 1 | -8/+8 |
* | Rewrite give_back_value with visitors | Son Ho | 2021-12-17 | 2 | -28/+40 |
* | Start updating give_back_value | Son Ho | 2021-12-17 | 2 | -54/+33 |
* | Update a comment | Son Ho | 2021-12-17 | 1 | -1/+2 |
* | Make minor modifications | Son Ho | 2021-12-17 | 2 | -0/+14 |
* | Finish implementing visit_ABorrow for end_borrow_get_borrow_in_env | Son Ho | 2021-12-17 | 2 | -3/+36 |
* | Start working on visit_ABorrow for end_borrow_get_borrow_in_env | Son Ho | 2021-12-17 | 1 | -2/+6 |
* | Implement the visit_ALoan case for end_borrow_get_borrow_in_env | Son Ho | 2021-12-17 | 2 | -3/+56 |
* | Parsing of command-line arguments | Jonathan Protzenko | 2021-12-15 | 3 | -4/+28 |
* | Update the trace | Son Ho | 2021-12-15 | 1 | -2/+500 |
* | Make minor modifications | Son Ho | 2021-12-14 | 1 | -3/+10 |
* | Start updating end_borrow_in_env to take abstractions into account | Son Ho | 2021-12-14 | 2 | -101/+223 |
* | Implement update_{aloan, aborrow} | Son Ho | 2021-12-08 | 2 | -21/+105 |
* | Start updating functions like {lookup,update}_{loan,borrow}_content | Son Ho | 2021-12-08 | 1 | -25/+64 |
* | Make more progress on preparing support for abstractions | Son Ho | 2021-12-08 | 1 | -19/+44 |
* | Update the env frame iterators to prepare support for abstractions | Son Ho | 2021-12-08 | 2 | -56/+39 |
* | Generate iterators for Contexts.env | Son Ho | 2021-12-08 | 1 | -4/+39 |
* | Derive iterators for Values.abs | Son Ho | 2021-12-08 | 1 | -5/+22 |
* | Remove a TODO | Son Ho | 2021-12-08 | 1 | -1/+0 |
* | Rename env_value to env_elem | Son Ho | 2021-12-08 | 3 | -19/+16 |
* | Make minor modifications | Son Ho | 2021-12-08 | 3 | -75/+16 |
* | Make minor modifications | Son Ho | 2021-12-08 | 1 | -7/+6 |
* | Add a comment | Son Ho | 2021-12-08 | 1 | -0/+4 |
* | Revert the implementation of copy_value | Son Ho | 2021-12-08 | 1 | -90/+39 |
* | Rewrite copy_value | Son Ho | 2021-12-08 | 1 | -31/+144 |
* | Cleanup a bit | Son Ho | 2021-12-08 | 1 | -90/+0 |
* | Reimplement drop_borrows_loans_at_place | Son Ho | 2021-12-08 | 2 | -86/+155 |
* | Reimplement end_loans_at_place with iterators | Son Ho | 2021-12-08 | 1 | -42/+36 |
* | Reimplement reborrow_shared with visitors | Son Ho | 2021-12-08 | 1 | -37/+25 |
* | Change the signature of end_borrow_get_borrow_in_env | Son Ho | 2021-12-08 | 1 | -43/+33 |
* | Reimplement end_borrow_get_borrow_in_env | Son Ho | 2021-12-08 | 1 | -109/+80 |
* | Rewrite some functions which use visitors to insert exhaustive matches | Son Ho | 2021-12-08 | 1 | -106/+114 |
* | Cleanup a bit | Son Ho | 2021-12-08 | 1 | -315/+0 |
* | Remove g_value, g_typed_value, etc. to make values and abstract values | Son Ho | 2021-12-08 | 5 | -149/+199 |
* | Insert commented code in Interpreter.ml | Son Ho | 2021-12-08 | 1 | -0/+48 |
* | Make the map visitors non-polymorphic | Son Ho | 2021-12-08 | 1 | -22/+97 |
* | Rewrite more functions by using visitors | Son Ho | 2021-12-08 | 1 | -34/+28 |
* | Rewrite update_borrow by using visitors | Son Ho | 2021-12-08 | 1 | -43/+50 |