| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2016-07-02 | fail obligations that depend on erroring obligations | Ariel Ben-Yehuda | -8/+27 |
| 2016-05-13 | address review comments | Ariel Ben-Yehuda | -51/+75 |
| 2016-05-13 | add cycle-reporting logic | Ariel Ben-Yehuda | -54/+109 |
| 2016-05-13 | rewrite obligation forest. cycles still handled incorrectly. | Ariel Ben-Yehuda | -274/+266 |
| 2016-03-05 | apply rustfmt to librustc_data_structures, correcting rust-lang-nursery/rustf... | Niko Matsakis | -60/+92 |
| 2016-02-01 | Add a notion of "per-tree" state | Niko Matsakis | -49/+98 |
| 2016-01-16 | Document `ObligationForest` better. | Niko Matsakis | -36/+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/+412 |
