Skip to content

proof(reentrancy): generate guarded entrypoint registry - #2406

Open
Th0rgal wants to merge 27 commits into
mainfrom
codex/adversary-model-pr4-registry
Open

proof(reentrancy): generate guarded entrypoint registry#2406
Th0rgal wants to merge 27 commits into
mainfrom
codex/adversary-model-pr4-registry

fix(registry): preserve callback rollback semantics

c7e0fa6
Select commit
Loading
Failed to load commit list.
Vercel / Vercel Preview Comments succeeded Sep 8, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved. Go to feedback

View more details on Vercel