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

Age	Commit message (Expand)	Author	Lines
2023-10-31	Only emit `!=` assumptions if the otherwise target is reachable.	Camille GILLOT	-4/+1
2023-10-31	Simplify assume of a constant.	Camille GILLOT	-14/+6
2023-10-31	Replace SwitchInt to unreachable by an assumption.	Camille GILLOT	-1/+7
2023-06-15	Remove comments from mir-opt MIR dumps	Ben Kimock	-10/+10
2023-05-21	Normalize block and local orders in mir-opt tests	Scott McMurray	-4/+4
2023-04-23	Add mir-opt tests to track MIR quality.	Camille GILLOT	-0/+27