Skip to content

proof(L2): admit calldatacopy into the proved statement surface (#2084 slice 1) - #2385

Merged
Th0rgal merged 12 commits into
mainfrom
feat/2084-returndata-surface
Aug 19, 2026
Merged

proof(L2): admit calldatacopy into the proved statement surface (#2084 slice 1)#2385
Th0rgal merged 12 commits into
mainfrom
feat/2084-returndata-surface

Merge remote-tracking branch 'origin/main' into feat/2084-returndata-…

e50ccba
Select commit
Loading
Failed to load commit list.
Vercel / Vercel Preview Comments succeeded Aug 19, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved. Go to feedback

View more details on Vercel