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

Age	Commit message (Expand)	Author	Lines
2018-04-23	sort strings on output	Niko Matsakis	-9/+9
2018-04-23	first draft of `program_clauses_for_env`	Niko Matsakis	-0/+48
2018-04-23	in unit tests, use `note` to dump multiple program clauses	Niko Matsakis	-100/+38
2018-04-15	Stop duplicating where clauses from impl's.	Fabian Zaiser	-1/+1
2018-04-15	Implement Chalk lowering rule Normalize-From-Impl	Fabian Zaiser	-1/+16
2018-04-06	chalkify: Implement Rule Implied-Bound-From-Trait	Tyler Mandry	-1/+147
2018-03-20	Add unit test for Implemented-From-Env	varkor	-0/+30
2018-03-14	Address niko's nits	scalexm	-1/+1
2018-03-14	Add MVP for chalkification	scalexm	-0/+28