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

Age	Commit message (Expand)	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
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
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