| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-09 | Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in er... | Michael Goulet | -2/+0 |
| 2025-04-09 | Rigidly project missing item due to guaranteed impossible sized predicate | Michael Goulet | -0/+34 |
