| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 |
| 2023-12-05 | Continue folding if deep normalizer fails | Michael Goulet | -6/+5 |
| 2023-12-05 | Add deeply_normalize_for_diagnostics, use it in coherence | Michael Goulet | -0/+22 |
