EIP-8037 + EIP-7778: state gas reservoir and refund-free block gas accounting#2876

anvacaru wants to merge 11 commits into

amsterdam-foundationruntimeverification/evm-semantics:amsterdam-foundationfrom

eip-8037runtimeverification/evm-semantics:eip-8037Copy head branch name to clipboard