| Commit message (Expand) | Author | Files | Lines |
|---|
| 2022-01-24 | Start working on printing for symbolic AST | Son Ho | 1 | -1/+1 |
| 2022-01-21 | Make minor modifications for the invariants checks | Son Ho | 1 | -4/+7 |
| 2022-01-21 | Implement more invariant checks for the symbolic values | Son Ho | 1 | -3/+34 |
| 2022-01-21 | Update projections_intersect to write it in terms of a more generic | Son Ho | 1 | -0/+5 |
| 2022-01-21 | Update AProjLoans and AEndedProjLoans to take a list of given back | Son Ho | 1 | -10/+17 |
| 2022-01-20 | Make good progress on updating InterpreterStatements to use CPS | Son Ho | 1 | -0/+7 |
| 2022-01-19 | Start storing meta-values in the avalues, for synthesis purposes | Son Ho | 1 | -20/+28 |
| 2022-01-18 | Remove ty_has_regions and use ty_has_borrows instead | Son Ho | 1 | -1/+2 |
| 2022-01-18 | Rename type_is_primitively_copyable to ty_is_... | Son Ho | 1 | -1/+1 |
| 2022-01-15 | Use the new collections | Son Ho | 1 | -9/+8 |
| 2022-01-14 | Make minor modifications | Son Ho | 1 | -1/+2 |
| 2022-01-14 | Implement greedy expansion of symbolic variables and expansion before | Son Ho | 1 | -18/+101 |
| 2022-01-14 | Start working on greedy symbolic value expansion and expansion before | Son Ho | 1 | -1/+10 |
| 2022-01-14 | Update aproj to make AEndedProjLoans take an `aproj option` and add the | Son Ho | 1 | -1/+8 |
| 2022-01-13 | Add a small check in the invariants | Son Ho | 1 | -2/+8 |
| 2022-01-13 | Update the projectors to ignore values when they don't contain regions | Son Ho | 1 | -0/+1 |
| 2022-01-13 | Introduce "AIgnore" for the avalues | Son Ho | 1 | -7/+6 |
| 2022-01-07 | Update the invariant checks to take into account ignored borrows/loans | Son Ho | 1 | -6/+33 |
| 2022-01-07 | Add an optional borrow identifier to AIgnoredMutBorrow, introduce the | Son Ho | 1 | -3/+10 |
| 2022-01-07 | Add logging information for borrows | Son Ho | 1 | -1/+1 |
| 2022-01-07 | Make more improvements to logging | Son Ho | 1 | -21/+21 |
| 2022-01-06 | Add debugging info | Son Ho | 1 | -3/+27 |
| 2022-01-06 | Remove the symbolic_proj_comp def and make the set of ended regions a | Son Ho | 1 | -2/+2 |
| 2022-01-06 | Fix more bugs | Son Ho | 1 | -5/+6 |
| 2022-01-06 | Fix some bugs | Son Ho | 1 | -12/+24 |
| 2022-01-06 | Make minor improvements to printing | Son Ho | 1 | -0/+5 |
| 2022-01-06 | Cleanup and reorganize | Son Ho | 1 | -0/+1 |
| 2022-01-05 | Introduce the type_context definition | Son Ho | 1 | -2/+2 |
| 2022-01-04 | Cleanup a bit | Son Ho | 1 | -3/+2 |
| 2022-01-04 | Finish implementing visit_typed_avalue for check_typing_invariant | Son Ho | 1 | -12/+24 |
| 2022-01-04 | Make good progress on visit_typed_avalue for check_typing_invariant | Son Ho | 1 | -1/+89 |
| 2022-01-04 | Improve check_typing_invariant to lookup borrowed/shared values and | Son Ho | 1 | -5/+20 |
| 2022-01-04 | Finish implementing visit_typed_value for check_typing_invariant | Son Ho | 1 | -3/+6 |
| 2022-01-04 | Make good progress on visit_typed_value for check_typing_invariant | Son Ho | 1 | -4/+55 |
| 2022-01-04 | Implement check_constant_value_type | Son Ho | 1 | -2/+8 |
| 2022-01-04 | Start working on check_typing_invariant | Son Ho | 1 | -1/+23 |
| 2022-01-04 | Implement check_borrowed_values_invariant and fix minor issues | Son Ho | 1 | -5/+82 |
| 2022-01-04 | Fix compiler warnings | Jonathan Protzenko | 1 | -10/+6 |
| 2022-01-04 | Add more checks in check_loans_borrow_relation_invariant | Son Ho | 1 | -12/+34 |
| 2022-01-04 | Make minor modifications | Son Ho | 1 | -1/+1 |
| 2022-01-04 | Update the trace | Son Ho | 1 | -1/+25 |
| 2022-01-04 | Make progress on implementing check_loans_borrows_relations_invariant | Son Ho | 1 | -5/+196 |
| 2022-01-04 | Start working on invariant checking | Son Ho | 1 | -0/+31 |
