| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -2/+9 |
| 2025-02-18 | don't ICE for alias-relate goals with error term | lcnr | -1/+11 |
| 2024-06-25 | Rename tcx to cx | Michael Goulet | -3/+3 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -4/+4 |
| 2024-06-18 | Explicitly import tracing macros | Michael Goulet | -0/+1 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -0/+98 |
