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

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

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

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

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

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

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

2018-04-23	first draft of `program_clauses_for_env`	Niko Matsakis	-0/+24
	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.