| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 | -3/+3 |
| 2019-10-31 | Stabilize the `re_rebalance_coherence` feature | Ohad Ravid | -0/+13 |
| 2019-01-03 | Add missing files | Georg Semmler | -13/+0 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -1/+1 |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+13 |
