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

Age	Commit message (Expand)	Author	Lines
2020-03-02	Remove chalk integration	CAD97	-22/+0
2019-03-11	Update tests	Vadim Petrochenkov	-2/+2
2018-12-25	Remove licenses	Mark Rousskov	-2/+2
2018-11-13	Pretty print quantified goals and clauses	scalexm	-7/+6
2018-10-17	Add tests for `program_clauses_for_env`	scalexm	-3/+0
2018-10-03	Remove duplicate predicates in `explicit_predicates_of`	scalexm	-4/+2
2018-07-07	update tests	csmoe	-2/+2
2018-07-05	merge wellformed(wc)s	csmoe	-4/+4
2018-07-05	update test	csmoe	-0/+4
2018-07-02	introduce `predicates_defined_on` for traits	Niko Matsakis	-2/+2
2018-04-23	sort strings on output	Niko Matsakis	-3/+3
2018-04-23	first draft of `program_clauses_for_env`	Niko Matsakis	-0/+24