Skip to content

air: make symbolic arena handles safe and generation-checked#179

Closed
latifkasuli wants to merge 2 commits into
leanEthereum:mainfrom
latifkasuli:fix/safe-symbolic-arena-handles
Closed

air: make symbolic arena handles safe and generation-checked#179
latifkasuli wants to merge 2 commits into
leanEthereum:mainfrom
latifkasuli:fix/safe-symbolic-arena-handles

Merge remote-tracking branch 'origin/main' into resolve-pr-179

431afd1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build & Test (x64-avx2)
succeeded Jun 7, 2026 in 5m 21s