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

Age	Commit message (Expand)	Author	Lines
2018-11-14	Wrap some query results in `Lrc`.	Nicholas Nethercote	-5/+7
2018-11-13	Implement `ProjectionEq-Normalize`	csmoe	-1/+43
2018-11-13	Use a dummy outlives requirement for `where Type:,` (see #53696)	scalexm	-6/+7
2018-11-13	Adjust documentation	scalexm	-3/+4
2018-11-13	Pretty print quantified goals and clauses	scalexm	-8/+1
2018-11-13	Replace type params with bound vars in `rustc_traits::lowering`	scalexm	-44/+85
2018-10-19	Write an initial version of the `program_clauses` callback	scalexm	-1/+1
2018-10-17	Categorize chalk clauses	scalexm	-1/+12
2018-10-17	Implement the `environment` query	scalexm	-0/+1
2018-10-17	Use `Environment` instead of `ty::ParamEnv` in chalk context	scalexm	-0/+596