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