3 Commits

Author	SHA1	Message	Date
Jason Newcomb	50eada16f7	Rename eval_order_dependence to mixed_read_write_in_expression	2022-05-15 17:08:45 -04:00
xFrednet	2992b19c82	Added inferred local type comparion to SpanlessEq	2021-04-14 20:06:26 +02:00
xFrednet	a6f54f5dfd	Renaming the lint to branches_sharing_code and fixing typos	2021-04-05 13:35:51 +02:00