| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -43/+0 |
| 2022-06-22 | Perform coherence checking per impl. | Camille GILLOT | -11/+11 |
| 2021-11-10 | no overlap errors after failing the orphan check | lcnr | -13/+2 |
| 2021-04-06 | Remove trailing `:` from E0119 message | Esteban Küber | -1/+1 |
| 2020-09-03 | specialization_graph: avoid trimmed paths for OverlapError | Dan Aloni | -1/+1 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -4/+4 |
| 2020-02-04 | Remove the `overlapping_marker_traits` feature | Aaron Hill | -6/+17 |
| 2019-10-31 | Stabilize the `re_rebalance_coherence` feature | Ohad Ravid | -0/+43 |
| 2019-01-03 | Add missing files | Georg Semmler | -37/+0 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -4/+4 |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+37 |
