Other
- refactor!: migrate from revm to evm2 (#17541) by @mablr
- fix(anvil): make reorg blocks differ from the ones they replace (#18275) by @figtracer
- fix(evm): keep initial call depth across spec changes (#18363) by @mablr
- fix(anvil): reject blob transactions on OP Stack (#18278) by @figtracer
- fix(anvil): reject txs below intrinsic or floor gas (#18279) by @figtracer
- fix(symbolic): fail CREATE at the EIP-2681 nonce limit (#18299) by @figtracer
- fix(symbolic): check symbolic revert data for assertion failures (#18315) by @figtracer
- fix(evm): restore the fixed cheatcode account code hash (#18333) by @figtracer
- fix(symbolic): check invariants from CALLER and after setUp (#18338) by @figtracer
- fix(symbolic): read zero for a BLOBHASH index past the blob list (#18341) by @figtracer
- fix(symbolic): parse solver models as S-expressions (#18342) by @figtracer
- fix(symbolic): zero-pad PUSH data cut off by the code end (#18344) by @figtracer
- fix(symbolic): bound the constant-factor multiplication guard (#18346) by @figtracer
- fix(symbolic): bound EXP exponents through negated comparisons (#18349) by @figtracer
- fix(symbolic): decide division and remainder facts in the normalizer (#18350) by @figtracer
- fix(symbolic): narrow bounded divisions in SMT queries (#18351) by @figtracer
- fix(symbolic): derive CREATE2 addresses with symbolic salts (#18355) by @figtracer
- test(symbolic): keep nested divisor test on SMT (#18370) by @figtracer
- chore(deps): bump tempo to e178401 and test T14 CA (#18372) by @mablr
- fix(evm): keep isolated self-destructs until the transaction ends (#18332) by @figtracer
- fix(symbolic): consolidate cheatcode state and prank fixes (#18365) by @figtracer
- refactor(evm-core): drop direct revm dependency (#18375) by @mablr
- fix(symbolic): consolidate cheatcode argument and result fixes (#18366) by @figtracer
- fix(tempo): keep account extensions in forks (#18374) by @mablr
- fix(symbolic): consolidate call, expectation and mock fixes (#18367) by @figtracer
- fix(symbolic): consolidate account, address and storage fixes (#18368) by @figtracer
- chore(deps): bump evm2 to 66687c1 (#18384) by @stevencartavia
- fix(forge): end foundry.lock with a trailing newline (#18379) by @mablr
- test(cheatcodes): disambiguate Issue9643 proxy slot (#18380) by @stevencartavia
- fix(cheatcodes): decode proxy storage by its writer in state diffs (#18161) by @sakulstra
- fix(fuzz): print campaign metrics to stderr (#18383) by @stevencartavia
- fix(evm): restore Tempo AA traces (#18385) by @figtracer
- chore(deps): bump tempo dependencies to f099fd9 (#18389) by @github-actions[bot]
- fix(evm): bound memory when lowering debug steps (#18392) by @stevencartavia