| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | | Improve check_typing_invariant to lookup borrowed/shared values and | Son Ho | 2022-01-04 | 1 | -5/+20 |
* | | Move some functions from Interpreter to InterpreterUtils | Son Ho | 2022-01-04 | 2 | -536/+536 |
* | | Finish implementing visit_typed_value for check_typing_invariant | Son Ho | 2022-01-04 | 1 | -3/+6 |
* | | Make good progress on visit_typed_value for check_typing_invariant | Son Ho | 2022-01-04 | 1 | -4/+55 |
* | | Implement check_constant_value_type | Son Ho | 2022-01-04 | 1 | -2/+8 |
* | | Start working on check_typing_invariant | Son Ho | 2022-01-04 | 1 | -1/+23 |
* | | Merge branch 'main' of github.com:Kachoc/aeneas into main | Son Ho | 2022-01-04 | 2 | -9/+1 |
|\| |
|
| * | Fix compiler warnings | Jonathan Protzenko | 2022-01-04 | 2 | -14/+6 |
* | | Implement check_borrowed_values_invariant and fix minor issues | Son Ho | 2022-01-04 | 1 | -5/+82 |
|/ |
|
* | Commit a forgotten file | Son Ho | 2022-01-04 | 1 | -0/+86 |
* | Add more checks in check_loans_borrow_relation_invariant | Son Ho | 2022-01-04 | 1 | -12/+34 |
* | Make minor modifications | Son Ho | 2022-01-04 | 1 | -1/+1 |
* | Update the trace | Son Ho | 2022-01-04 | 2 | -76/+26 |
* | Make progress on implementing check_loans_borrows_relations_invariant | Son Ho | 2022-01-04 | 1 | -5/+196 |
* | Start working on invariant checking | Son Ho | 2022-01-04 | 3 | -4/+40 |
* | Make a minor modification | Son Ho | 2022-01-04 | 1 | -0/+1 |
* | 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 |