summary refs log tree commit diff
path: root/src/librustc_data_structures/obligation_forest
AgeCommit message (Expand)AuthorLines
2016-07-03fail obligations that depend on erroring obligationsAriel Ben-Yehuda-8/+67
2016-05-13address review commentsAriel Ben-Yehuda-56/+81
2016-05-13add cycle-reporting logicAriel Ben-Yehuda-81/+109
2016-05-13rewrite obligation forest. cycles still handled incorrectly.Ariel Ben-Yehuda-370/+545
2016-03-14Move specialization graph walks to iterators; make associated typeAaron Turon-3/+1
2016-03-05apply rustfmt to librustc_data_structures, correcting rust-lang-nursery/rustf...Niko Matsakis-112/+155
2016-02-01Add a notion of "per-tree" stateNiko Matsakis-96/+191
2016-01-16Document `ObligationForest` better.Niko Matsakis-49/+178
2016-01-16Pacify tidy.Niko Matsakis-57/+85
2016-01-16Permit coinductive match only for purely OIBIT backtraces.Niko Matsakis-0/+1
2016-01-14implement the obligation forest data structure and add some unit testsNiko Matsakis-0/+621