[Obligation Forest] Don't process cycles when stalled#37231
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 19, 2016
jonas-schievink:obligation-forest-the-quest-for-performance
Merged
[Obligation Forest] Don't process cycles when stalled#37231bors merged 2 commits intorust-lang:masterfrom jonas-schievink:obligation-forest-the-quest-for-performance
bors merged 2 commits intorust-lang:masterfrom
jonas-schievink:obligation-forest-the-quest-for-performance