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

Age	Commit message (Expand)	Author	Lines
2019-03-20	Gather region constraints not coming from unification	scalexm	-2/+0
2019-03-11	Update tests	Vadim Petrochenkov	-2/+2
2018-12-25	Remove licenses	Mark Rousskov	-2/+2
2018-11-13	Bypass ppaux for `Outlives` predicates	scalexm	-2/+2
2018-11-13	Provide program clauses for builtin types	scalexm	-0/+2
2018-11-13	Pretty print quantified goals and clauses	scalexm	-4/+4
2018-10-17	Add tests for `program_clauses_for_env`	scalexm	-0/+20