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	-6/+1
2023-10-31	Simplify assume of a constant.	Camille GILLOT	-14/+11
2023-10-31	Replace SwitchInt to unreachable by an assumption.	Camille GILLOT	-2/+10
2023-10-04	Remove mir::LocalDecl::internal.	Camille GILLOT	-0/+2
2023-08-17	Bless mir-opt tests.	Camille GILLOT	-4/+7
2023-07-10	Enable by default.	Camille GILLOT	-7/+4
2023-06-15	Remove comments from mir-opt MIR dumps	Ben Kimock	-26/+23
2023-06-12	bless mir-opt	Pietro Albini	-0/+51