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

Age	Commit message (Expand)	Author	Lines
2020-06-24	Update Chalk	Jack Huey	-0/+2
2020-06-19	Change InternedAdtDef to &'tcx AdtDef	Jack Huey	-2/+2
2020-06-19	Lower consts	Jack Huey	-1/+2
2020-06-19	Remove RustDefId	Jack Huey	-15/+2
2020-06-19	Use builtin types for Never, Array, and FnDef	Jack Huey	-3/+1
2020-06-19	Update chalk	Jack Huey	-26/+41
2020-06-19	Update chalk	Jack Huey	-6/+1
2020-06-19	Add compare-mode=chalk and add a little bit more implementations and fixmes	Jack Huey	-3/+1
2020-05-07	Reintegrate chalk using chalk-solve	Jack Huey	-0/+366