| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-08-14 | Revert "Use DeepRejectCtxt in assemble_inherent_candidates_from_param" | Michael Goulet | -46/+0 |
| 2025-05-21 | Use DeepRejectCtxt in assemble_inherent_candidates_from_param | Michael Goulet | -0/+46 |
| 2025-02-14 | eagerly prove WF when resolving fully qualified paths | lcnr | -0/+39 |
