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

Age	Commit message (Collapse)	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
	This computes the transitive closure of traits that appear in the environment and then appends their clauses. It needs some work, but it's in the right direction.
2018-04-23	in unit tests, use `note` to dump multiple program clauses	Niko Matsakis	-100/+38
	(rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs.
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