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

Age	Commit message (Expand)	Author	Lines
2019-01-01	Move the `Unevaluated` constant arm upwards in the type structure	Oliver Scherer	-1/+1
2018-12-27	Add `wf_clause_for_fn_def`	scalexm	-1/+21
2018-12-27	Integrate chalk engine	scalexm	-4/+9
2018-12-27	Fix `Sized` requirement for empty tuples in `program_clauses`	scalexm	-1/+4
2018-12-27	Add builtin impls for `Sized` in `chalk_context::program_clauses`	scalexm	-0/+131
2018-12-27	Rename functions giving WF clauses for builtin types	scalexm	-21/+38
2018-12-27	Add utilities for creating generic types	scalexm	-51/+19
2018-12-27	Return an instantiated environment instead of a generic one	scalexm	-8/+15
2018-12-25	Remove licenses	Mark Rousskov	-10/+0
2018-11-24	Move `BoundTy` debruijn index to the `TyKind` enum variant	scalexm	-8/+11
2018-11-24	Introduce `TyKind::Placeholder` variant	scalexm	-0/+1
2018-11-13	Bypass ppaux for `Outlives` predicates	scalexm	-1/+1
2018-11-13	Provide program clauses for builtin types	scalexm	-0/+476