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

Age	Commit message (Expand)	Author	Lines
2019-02-10	rustc: doc comments	Alexander Regueiro	-6/+6
2019-02-07	Transition librustc_traits to 2018 edition	Hirokazu Hata	-3/+3
2018-12-27	Handle sub-typing in chalk-engine	scalexm	-1/+17
2018-12-27	Integrate chalk engine	scalexm	-23/+95
2018-12-27	Fix `visit_ex_clause_with`	scalexm	-3/+3
2018-12-27	Implement "lifetime juggling" methods from chalk integration trait	scalexm	-8/+42
2018-12-27	Implement `is_coinductive`	scalexm	-3/+20
2018-12-25	Remove licenses	Mark Rousskov	-10/+0
2018-11-29	Implement `AggregateOps`	scalexm	-2/+28
2018-11-29	Implement `ResolventOps`	scalexm	-29/+15
2018-11-29	Handle inference variables in `nll_relate` and use it for chalk	scalexm	-17/+34
2018-11-24	Fix `ChalkInferenceContext::into_hh_goal`	scalexm	-1/+4
2018-11-24	Implement some instantiate / canonical routines	scalexm	-52/+113
2018-11-13	Instantiate all bound vars existentially	scalexm	-4/+3
2018-11-13	Provide program clauses for builtin types	scalexm	-0/+494