feat(evm): drop SPP all-or-nothing fallback for dynamic-jump contracts#446

Merged

zoowii merged 23 commits into

DTVMStack:mainfrom

abmcar:feat/gas-check-placement

May 15, 2026

Commits on May 11, 2026

feat(evm): gas check placement with mixed CFG and call-site resolution

abmcar
and
claude
committed
docs(evm): add benchmark results to gas check placement change doc

abmcar
and
claude
committed
feat(evm): wire SPP-shifted gas costs into multipass JIT

abmcar
and
claude
committed
perf(evm): gate SPP pipeline on JIT-consumer modules only

abmcar
and
claude
committed
fix(evm): keep CFG over-approximate for SPP gas metering soundness

abmcar
and
claude
committed
docs(evm): update change doc for CFG soundness fix

abmcar
and
claude
committed
refactor(evm): remove dead call-site enumeration code

abmcar
and
claude
committed
ci(evm): retrigger CI after shared-runner noise failure

abmcar
and
claude
committed
docs(evm): align gas-check-placement README and evm_cache.md with final design
abmcar
committed
docs(evm): add design doc for interpreter and JIT gas mechanism
abmcar
committed
docs(evm): correct gas-mechanism doc per reviewer findings
abmcar
committed
docs: add fix plan for PR #446 review findings

abmcar
and
claude
committed
refactor(core): remove dead Prev2Pc/Prev2Opcode and clarify CFG over-approx invariant

abmcar
and
claude
committed
docs(runtime): document CacheNeedsSPP lifecycle invariant

abmcar
and
claude
committed
docs: align change-doc metrics with CI bot, mark F1/F4/F5 implemented and F6 dropped

abmcar
and
claude
committed
perf(core): replace D*J dyn-jump edges with implicit predecessor count

abmcar
and
claude
committed

Commits on May 13, 2026