5 Commits

Author	SHA1	Message	Date
Thomas Krijnen	1efe5761c0	#3305 one more iteration on lower fuzziness level for boolean ops	2024-04-15 11:44:56 +02:00
Thomas Krijnen	b33f5e19b7	eliminate_narrow_operands() #3141	2024-04-15 10:55:29 +02:00
Thomas Krijnen	c32c88b1a0	Merge remote-tracking branch 'origin/v0.7.0' into v0.8.0	2023-03-29 12:55:05 +02:00
Thomas Krijnen	c78b2893de	Proceed with merge	2023-03-21 20:15:01 +01:00
Thomas Krijnen	ccde605029	File renames, build script and cmake updates	2022-11-15 13:19:24 +01:00