Setup for the Glamsterdam hardfork: schedule, block header, and fixture harness - #2870

Setup for the Glamsterdam hardfork: schedule, block header, and fixture harness#2870

anvacaru wants to merge 16 commits into

masterruntimeverification/evm-semantics:masterfrom

amsterdam-foundationruntimeverification/evm-semantics:amsterdam-foundationCopy head branch name to clipboard