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

Age	Commit message (Collapse)	Author	Lines
2018-11-14	Wrap some query results in `Lrc`.	Nicholas Nethercote	-5/+7
	So that the frequent clones in `try_get` are cheaper. Fixes #54274.
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
	A `WF(Type)` predicate was used previously, which did not play well with implied bounds in chalk.
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