Code

revm: update the revm version#642

Code

Open

clarus wants to merge 3 commits intomainformal-land/coq-of-rust:mainfrom guillaume-claret@update-revm-versionformal-land/coq-of-rust:guillaume-claret@update-revm-versionCopy head branch name to clipboard

+415,739-37,453

Commits

Commits on Dec 30, 2024

• revm: update the revm version

  clarus

  committed
  59df8c2

  Copy full SHA for 59df8c2

• revm: add missing specification crate

  clarus

  committed
  80e9f5e

  Copy full SHA for 80e9f5e

Commits on Jan 6, 2025

• more wip

  clarus

  committed
  815f27d

  Copy full SHA for 815f27d