| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2023-10-13 | Stabilize AFIT and RPITIT | Michael Goulet | -1/+0 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -2/+0 |
| 2023-05-02 | Mark RPITIT and AFIT as no longer incomplete | Michael Goulet | -1/+0 |
| 2023-03-21 | Do not suggest bounds restrictions for synthesized RPITITs | Santiago Pastorino | -0/+2 |
| 2023-01-12 | RPITITs are not suggestable | Michael Goulet | -0/+21 |
