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

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

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

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

2018-11-13	Bypass ppaux for `Outlives` predicates	scalexm	-1/+1

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

2018-04-23	in unit tests, use `note` to dump multiple program clauses	Niko Matsakis	-4/+8
	(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/+7

2018-03-14	Address niko's nits	scalexm	-1/+1

2018-03-14	Add MVP for chalkification	scalexm	-0/+8