Skip to content

ConstraintAnalysis: Add AND fusing of { x <= C && x < C } => x < C - #8937

Merged
kripken merged 112 commits into
WebAssembly:mainfrom
kripken:compar.b.replace.2
Jul 24, 2026
Merged

ConstraintAnalysis: Add AND fusing of { x <= C && x < C } => x < C #8937
kripken merged 112 commits into
WebAssembly:mainfrom
kripken:compar.b.replace.2

Commits

Commits on Jul 21, 2026

Commits on Jul 22, 2026

Commits on Jul 23, 2026

Commits on Jul 24, 2026