| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-10-31 | Stabilize the `re_rebalance_coherence` feature | Ohad Ravid | -1/+1 |
| 2019-10-28 | Do not display ADT type arguments and fix rebase | Esteban Küber | -2/+4 |
| 2019-10-14 | Add more coherence tests | Georg Semmler | -0/+12 |
