5 Commits

Author	SHA1	Message	Date
Pietro Fezzardi	677155d436	TANP: fix off-by-one in wrapping ICmp reduction ... This bug caused the expression x + (-2) < -3 to be rewritten as (x > 2) || (x < -1), instead of (x > 2) && (x < -1). We had tests for a very similar case, but this specific example was triggered by having the two constant terms in the inequality with a difference of only one. This commit rewrites and unifies the logic for handling inequalities, and adapts the test for checking this specific additional corner case.	2024-06-04 00:10:27 +02:00
Alessandro Di Federico	0c212b66d9	Relicense to MIT	2024-02-29 17:03:36 +01:00
Ivan Krysak	5da851fcd5	lit-tests: remove unnecessary isolated tag	2024-02-20 14:35:56 +01:00
Alessandro Di Federico	f6f542769b	Convert all public strings to kebab-case	2024-02-09 09:04:25 +01:00
Andrea Gussoni	d940c03e9f	clift: use shipped lit for tests infrastructure	2024-02-04 16:49:51 +01:00