| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-01-18 | instantiate canonical vars eagerly | lcnr | -267/+0 |
| 2023-01-18 | update cache | lcnr | -112/+88 |
| 2023-01-12 | Implement dummy query responses and a jank instantiate | Michael Goulet | -10/+44 |
| 2022-12-19 | implement the skeleton of the updated trait solver | lcnr | -0/+257 |
