| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-07-10 | Propagate from borrowed locals in CopyProp | Tomasz Miąsko | -2/+3 |
| 2025-07-06 | Do not unify borrowed locals in CopyProp. | Camille GILLOT | -3/+2 |
| 2025-06-16 | Reason about borrowed classes in CopyProp. | Camille GILLOT | -2/+1 |
| 2025-06-16 | Add test. | Camille GILLOT | -0/+31 |
