| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2016-01-16 | Document `ObligationForest` better. | Niko Matsakis | -49/+178 |
| 2016-01-16 | Pacify tidy. | Niko Matsakis | -57/+85 |
| 2016-01-16 | Permit coinductive match only for purely OIBIT backtraces. | Niko Matsakis | -0/+1 |
| 2016-01-14 | implement the obligation forest data structure and add some unit tests | Niko Matsakis | -0/+621 |
