5 Commits

Author	SHA1	Message	Date
Camille GILLOT	ec28dc7aa7	Use PlaceMention for match scrutinees.	2023-10-24 15:30:17 +00:00
Ralf Jung	6f8ae03f9b	make MIR less verbose	2023-08-24 14:26:26 +02:00
Ralf Jung	4c53783f3c	when terminating during unwinding, show the reason why	2023-08-24 13:28:26 +02:00
Ben Kimock	0a1fa411ed	Remove comments from mir-opt MIR dumps	2023-06-15 15:19:11 -04:00
Pietro Albini	4668123945	bless mir-opt ... To reproduce the changes in this commit locally: - Run `./x test tidy` and remove all the output files not associated with a test file anymore, as reported by tidy. - Run `./x test tests/mir-opt --bless` to generate the new outputs.	2023-06-12 09:34:17 +02:00