feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization — 66 statements, proofs deferred (speca#146) - #24

Merged

grandchildrice merged 4 commits into

mainfrom

ethvuln-c1-placement

Aug 26, 2026

Commits on Aug 18, 2026

feat(ethvuln): add ethereum-vuln-dataset track c-1 formalization (speca#146)
banr1
committed
7d881a9
fix(ethvuln): give the track its own map, exporter entry point and CI gates

banr1
and
claude
committed
734e074
fix(ethvuln): address PR #24 review — obligation/precondition split, arithmetic predicates, proofs (speca#146)

banr1
and
claude
committed
e57ded5

Commits on Aug 26, 2026

fix: close PR 24 review gaps
grandchildrice
committed
41f4968