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

Age	Commit message (Collapse)	Author	Lines
2023-01-11	Move /src/test to /tests	Albert Larsan	-16/+0

2023-01-04	Update tests, etc	Michael Goulet	-1/+1

2020-05-07	Reintegrate chalk using chalk-solve	Jack Huey	-0/+16

2020-03-02	Remove chalk integration	CAD97	-17/+0

2018-12-25	Remove licenses	Mark Rousskov	-10/+0

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

2018-08-31	rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ↵	Eduard-Mihai Burtescu	-1/+9
	ignoring it.
2018-08-27	fix some anon params	Mark Mansi	-3/+3

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