Add ConstraintAnalysis widening and fuzz it - #9030

Merged

kripken merged 29 commits into

WebAssembly:mainfrom

kripken:fuzz.constraint.pre

Aug 21, 2026

Commits on Jul 10, 2026

fuzzz
kripken
committed
adec816
fuzzz
kripken
committed
14e19d9
Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
46003bd
undo
kripken
committed
7ea0ffd

Commits on Jul 14, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
ddd4edb
update
kripken
committed
e0276db

Commits on Jul 15, 2026

moar
kripken
committed
c5deeeb

Commits on Jul 30, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
c3434b5

Commits on Jul 31, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
ed44408
work
kripken
committed
e83c054
work
kripken
committed
192d924

Commits on Aug 7, 2026

less
kripken
committed
3096b52

Commits on Aug 12, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
2ef5df7
fix
kripken
committed
df548b9

Commits on Aug 14, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
ff3b15a
finish
kripken
committed
cfc644f
work
kripken
committed
9cdfcbe

Commits on Aug 17, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
e880306
move
kripken
committed
433559a
update
kripken
committed
e083272
PR number
kripken
committed
1af77da

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
42121a2
Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
1ef4c61
fix
kripken
committed
9509fce
Merge remote-tracking branch 'origin/main' into fuzz.constraint.pre
kripken
committed
5c7acce
undo
kripken
committed
27737ea
work
kripken
committed
64215b3