EIP-7708: ETH transfer logs by anvacaru · Pull Request #2873 · runtimeverification/evm-semantics

kproj/{schedule,evm}.md, kevm_pyk/{gst_to_kore,cli}.py: define the Amsterdam (Glamsterdam EL) schedule

anvacaru

committed

6ea0fa6

kproj/{evm,state-utils,serialization,driver}.md, kevm_pyk/gst_to_kore.py: parse Amsterdam block header (blockAccessListHash, slotNumber); discard receipts/blockAccessList fixture keys in the harness

anvacaru

committed

a13da59

tests/execution-spec-tests: pin fixtures to tests-glamsterdam-devnet@v7.2.0 from ethereum/execution-specs

anvacaru

committed

16ac866

kproj/schedule.md: add amsterdam blob schedule constants (target 14 / max 21 / fraction 11684671)

anvacaru

and

claude

committed

d3dfcac

kevm-pyk/src/tests/utils.py: tolerate blank lines in skip-list files

anvacaru

committed

eb96e6e

kproj/evm.md, kevm_pyk/gst_to_kore.py: drop narrative comments

anvacaru

committed

2c85203

update script description

anvacaru

committed

7524832

tests/execution-spec-tests/failing.llvm: sort failing fixtures

anvacaru

committed

cd82c58

schedule.md: align schedule vars

anvacaru

committed

2fbd62f

cleanups

anvacaru

committed

3c03c06

kproj/{evm,schedule}.md: implement eip-7708 eth transfer logs

anvacaru

and

claude

committed

9fdd652

rename log item + remove whitespaces

anvacaru

committed

e526cab

tests/execution-spec-tests/failing.llvm: update failing fixtures

anvacaru

committed

d304134

Navigation Menu

Uh oh!

EIP-7708: ETH transfer logs - #2873

EIP-7708: ETH transfer logs#2873
anvacaru wants to merge 13 commits into
masterfrom
eip-7708

Commits on Jul 24, 2026

kproj/{schedule,evm}.md, kevm_pyk/{gst_to_kore,cli}.py: define the Amsterdam (Glamsterdam EL) schedule

kproj/{evm,state-utils,serialization,driver}.md, kevm_pyk/gst_to_kore.py: parse Amsterdam block header (blockAccessListHash, slotNumber); discard receipts/blockAccessList fixture keys in the harness

tests/execution-spec-tests: pin fixtures to tests-glamsterdam-devnet@v7.2.0 from ethereum/execution-specs

kproj/schedule.md: add amsterdam blob schedule constants (target 14 / max 21 / fraction 11684671)

kevm-pyk/src/tests/utils.py: tolerate blank lines in skip-list files

kproj/evm.md, kevm_pyk/gst_to_kore.py: drop narrative comments

update script description

tests/execution-spec-tests/failing.llvm: sort failing fixtures

schedule.md: align schedule vars

cleanups

kproj/{evm,schedule}.md: implement eip-7708 eth transfer logs

rename log item + remove whitespaces

tests/execution-spec-tests/failing.llvm: update failing fixtures