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

Age	Commit message (Collapse)	Author	Lines
2020-03-02	Remove chalk integration	CAD97	-24/+0

2019-03-20	Fix a bug in implied bounds	scalexm	-1/+1

2019-03-11	Update tests	Vadim Petrochenkov	-2/+2

2018-12-25	Remove licenses	Mark Rousskov	-2/+2

2018-11-13	Implement `ProjectionEq-Normalize`	csmoe	-0/+1

2018-11-13	Pretty print quantified goals and clauses	scalexm	-7/+7

2018-10-08	Add chalk rules related to associated type defs	scalexm	-7/+16
	* Rule ProjectionEq-Skolemize * Rule WellFormed-AssocTy * Rule Implied-Trait-From-AssocTy
2018-07-05	merge wellformed(wc)s	csmoe	-3/+1

2018-07-05	update test	csmoe	-0/+3

2018-04-23	sort strings on output	Niko Matsakis	-1/+1

2018-04-23	in unit tests, use `note` to dump multiple program clauses	Niko Matsakis	-20/+7
	(rather than issuing multiple errors) Also, reorder so that the annotations are considered "used" when the lint runs.
2018-04-06	chalkify: Implement Rule Implied-Bound-From-Trait	Tyler Mandry	-1/+19

2018-03-20	Add unit test for Implemented-From-Env	varkor	-0/+8