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

Age	Commit message (Expand)	Author	Lines
2023-08-03	Rework upcasting	Michael Goulet	-2/+5
2023-07-30	inline format!() args up to and including rustc_middle	Matthias Krüger	-2/+2
2023-07-25	Normalize the RHS of an unsize goal	Michael Goulet	-0/+3
2023-07-23	match on chars instead of &strs for .split() or .strip_prefix()	Matthias Krüger	-2/+2
2023-07-13	typo	lcnr	-1/+1
2023-07-13	refactor proof tree formatting	lcnr	-53/+59
2023-06-19	move to nested module	Boxy	-0/+131