ConstraintAnalysis: Optimize loops - #8980

Open

kripken wants to merge 132 commits into

WebAssembly:mainfrom

Commits on Jul 29, 2026

work
kripken
committed
0ec1112
work
kripken
committed
279c29f
work
kripken
committed
f9ec4e9
work
kripken
committed
978217b
work
kripken
committed
3e6cc0e
work
kripken
committed
aa3788d
work
kripken
committed
66799fb
work
kripken
committed
9d7c472
work
kripken
committed
9c707af
work
kripken
committed
83976d4
work
kripken
committed
35b44de
work
kripken
committed
e166af5
work
kripken
committed
db350c7
work
kripken
committed
4918d32
work
kripken
committed
7458b6a
work
kripken
committed
5695b31
work
kripken
committed
d5deb26
work
kripken
committed
07e8fa5
work
kripken
committed
95430f4
work
kripken
committed
019faf5
work
kripken
committed
147e989
work
kripken
committed
4aecba5
work
kripken
committed
c1342f9
work
kripken
committed
3bb360b
work
kripken
committed
5343be1
work
kripken
committed
13a9ded
work
kripken
committed
eb4d187

Commits on Jul 30, 2026

work
kripken
committed
3aa5e8f
work
kripken
committed
15c0431
work
kripken
committed
b7a49e7
work
kripken
committed
9a40700
work
kripken
committed
5e3db80
work
kripken
committed
0b04e23
work
kripken
committed
cfd704f
work
kripken
committed
d5e54e9
work
kripken
committed
71daf85
work
kripken
committed
8f07a3f
work
kripken
committed
dd1d128
ConstraintAnalysis: Add more simple inequalities
kripken
committed
c32a870
fix
kripken
committed
3118ba0
fix
kripken
committed
5fe2c9e
Merge remote-tracking branch 'origin/main' into loops
kripken
committed
aaa7a48
fix warning
kripken
committed
d61d1d4

Commits on Jul 31, 2026

handle overflow
kripken
committed
4835487
work
kripken
committed
aab5dc5
Merge remote-tracking branch 'origin/main' into loops
kripken
committed
65e884b
work
kripken
committed
871d132
work
kripken
committed
2f28f67
work
kripken
committed
fac861b
work
kripken
committed
b55fa2a
work
kripken
committed
03a82c5
work
kripken
committed
71a24e8
work
kripken
committed
1fba050
work
kripken
committed
480e5c6
work
kripken
committed
c3d65f3
work
kripken
committed
dd6730c
work
kripken
committed
634b0d3
work
kripken
committed
b60cf18
work
kripken
committed
45484f1
work
kripken
committed
ac6653e
work
kripken
committed
0c0f908
work
kripken
committed
3e9c83e
work
kripken
committed
5a261aa
work
kripken
committed
762c612
work
kripken
committed
cd6f9f1
work
kripken
committed
8fadc2b
work
kripken
committed
4c27988
work
kripken
committed
778a64a
more
kripken
committed
741ee9a
Merge branch 'moar2' into loops
kripken
committed
74f0bed
work
kripken
committed
fd1fcb4
work
kripken
committed
1916871
work
kripken
committed
b1e2934

Commits on Aug 3, 2026

work
kripken
committed
6502d51
Merge remote-tracking branch 'origin/main' into loops
kripken
committed
75f4064
work
kripken
committed
1444406
work
kripken
committed
ae5d9ee
work
kripken
committed
24ae210

Commits on Aug 4, 2026

work
kripken
committed
d3c997b
work
kripken
committed
15af30f
work
kripken
committed
d76f898
work
kripken
committed
8cd6b92
work
kripken
committed
183a594
work
kripken
committed
c0f966a
work
kripken
committed
b19bb0b
work
kripken
committed
62f0ae9
work
kripken
committed
37d5efd
work
kripken
committed
2ea981d
work
kripken
committed
c6b1904
work
kripken
committed
75d76fc
work
kripken
committed
42681fe
work
kripken
committed
bb0b742
work
kripken
committed
418ee18
work
kripken
committed
19157ee
clean
kripken
committed
e02ab01
work
kripken
committed
dc39877
work
kripken
committed
67e7be9
work
kripken
committed
4c48d1a
work
kripken
committed
cc480f7
go
kripken
committed
4ff74fa
simpl
kripken
committed
9b38ac6
simpl
kripken
committed
a319bc1
FIX
kripken
committed
9cd4af1
FIX
kripken
committed
fa4dbca
FIX2
kripken
committed
a9a9405
FIX
kripken
committed
9d8fe3a
FIX2
kripken
committed
1d17f83
FIX
kripken
committed
eb4fc78
FIX
kripken
committed
3e88a20
SIMPL
kripken
committed
b368c1c
SIMPL
kripken
committed
461c972

Commits on Aug 5, 2026

Commits on Aug 6, 2026

Merge remote-tracking branch 'origin/main' into constraint.add
kripken
committed
4ff9da5
simpler
kripken
committed
c79ac07
Merge remote-tracking branch 'myself/constraint.add' into loops
kripken
committed
cc37875
work
kripken
committed
bb8f742
simpler
kripken
committed
7516199
Merge remote-tracking branch 'myself/constraint.add' into loops
kripken
committed
b93608e
work
kripken
committed
231835c

Commits on Aug 7, 2026

share code in ::set()
kripken
committed
d1b8260
Merge remote-tracking branch 'myself/constraint.add' into loops
kripken
committed
5b10745
simpl
kripken
committed
ddf9d40
short
kripken
committed
08e7dcb
fix
kripken
committed
a32d606
fix
kripken
committed
ae76769
merg
kripken
committed
7a19e4c
merg
kripken
committed
048ca7f
merg
kripken
committed
9fe2a92
merg
kripken
committed
2041356
merg
kripken
committed
9ca789d
update test outputs
kripken
committed
5717dd6