| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-15 | Opportunistically resolve region var in canonicalizer | Michael Goulet | -0/+58 |
| 2023-12-14 | Unconditionally register alias-relate in projection goal | Michael Goulet | -2/+91 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -0/+3834 |
