feat: mark division/modulo by constants as not requiring a predicate#7028

Draft

TomAFrench wants to merge 3 commits intomasterfrom tf/allow-deduplicating-division-by-constants

+19-11

Commits on Jan 11, 2025

feat: mark division/modulo by constants as not requiring a predicate
TomAFrench
committed
feat: discard predicate when inverting constant fields
TomAFrench
committed

Commits on Jan 22, 2025

Merge branch 'master' into tf/allow-deduplicating-division-by-constants
TomAFrench
authored