ConstraintAnalysis: Add conditional propagation#8867

Merged

kripken merged 290 commits into

WebAssembly:mainfrom

kripken:constraint.2

Jun 30, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Commits on Jun 8, 2026

go
kripken
committed
go
kripken
committed
go
kripken
committed
format
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
feedback
kripken
committed
feedback
kripken
committed
fix
kripken
committed
clean
kripken
committed
Merge remote-tracking branch 'myself/inplace' into constraint.by.itself
kripken
committed
clean
kripken
committed
clean
kripken
committed
const
kripken
committed
undo CFP change
kripken
committed
Merge branch 'inplace' into constraint.by.itself
kripken
committed
tidy
kripken
committed
add.assert
kripken
committed
fix.comment
kripken
committed
Merge remote-tracking branch 'origin/main' into constraint.by.itself
kripken
committed
merg
kripken
committed

Commits on Jun 9, 2026

value => term
kripken
committed

Commits on Jun 10, 2026

check => eval
kripken
committed
fix new clang-18 warning
kripken
committed
Merge remote-tracking branch 'myself/constraint.by.itself' into constraint
kripken
committed
update
kripken
committed
update
kripken
committed
undo
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
2.bad
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
form
kripken
committed
Merge remote-tracking branch 'origin/main' into constraint
kripken
committed
rename
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed
update
kripken
committed

Commits on Jun 12, 2026

Commits on Jun 16, 2026

Commits on Jun 17, 2026

Merge remote-tracking branch 'origin/main' into constraint
kripken
committed
merg
kripken
committed
clean
kripken
committed
fix
kripken
committed
nice
kripken
committed
form
kripken
committed
help
kripken
committed
avoid warning
kripken
committed
avoid warning
kripken
committed
avoid warning
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
go
kripken
committed
form
kripken
committed
add todo
kripken
committed
fix
kripken
committed
work
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed
fix
kripken
committed

Commits on Jun 18, 2026

rename
kripken
committed
format
kripken
committed
Merge branch 'constraint' into constraint.2
kripken
committed
test loops, showing the problem
kripken
committed
reverse
kripken
committed
format
kripken
committed
fix.gtest
kripken
committed
merg
kripken
committed
form
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed
work
kripken
committed

Commits on Jun 22, 2026

Commits on Jun 24, 2026

Commits on Jun 25, 2026