rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2016-02-01	Add a notion of "per-tree" state	Niko Matsakis	-96/+191
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