4 Commits

Author	SHA1	Message	Date
Camille GILLOT	211d2ed07b	Bless tests.	2023-09-23 13:47:30 +00:00
Urgau	c93d9c1794	Rename drop_ref lint to dropping_references	2023-05-21 14:16:41 +02:00
Urgau	61ff2718f7	Adjust tests for new drop and forget lints	2023-05-10 19:36:02 +02:00
Michael Goulet	4a4fc3bb5b	Implement support for GeneratorWitnessMIR in new solver	2023-04-05 03:04:54 +00:00