Code

Simulations for the REVM arithmetic#547

Code

Merged

olympichek merged 14 commits intomainformal-land/coq-of-rust:mainfrom valerii-huhnin@revm-arithmetic-simulationsformal-land/coq-of-rust:valerii-huhnin@revm-arithmetic-simulationsCopy head branch name to clipboardJun 7, 2024

+1,356-36

Commits

Commits on Jun 4, 2024

• add ToTy and ToValue instances for lists/arrays

  olympichek

  committed
  01d7a33

  Copy full SHA for 01d7a33

• add simulations the Interpreter type

  Show description for fa241b4
  olympichek

  committed
  fa241b4

  Copy full SHA for fa241b4

• simulation for the record_cost() function

  Show description for 13c8b8a
  olympichek

  committed
  13c8b8a

  Copy full SHA for 13c8b8a

• simulation for the gas! macro

  olympichek

  committed
  ac3d15b

  Copy full SHA for ac3d15b

• simulations for stack operations

  olympichek

  committed
  19c07c3

  Copy full SHA for 19c07c3

• split REVM simulations to multiple files

  Show description for c4b5d2c
  olympichek

  committed
  c4b5d2c

  Copy full SHA for c4b5d2c

• change the type of the instruction_pointer field

  olympichek

  committed
  87dc12f

  Copy full SHA for 87dc12f

• core simulations - fix imports

  olympichek

  committed
  ff002f7

  Copy full SHA for ff002f7

• REVM simulations - fix imports

  olympichek

  committed
  86147fc

  Copy full SHA for 86147fc

Commits on Jun 6, 2024

• core - sepearate links and simulations

  olympichek

  committed
  8a968db

  Copy full SHA for 8a968db

• REVM - separate links and simulations

  olympichek

  committed
  d943126

  Copy full SHA for d943126

• add lenses - to use in simulations

  olympichek

  committed
  7f6a9ba

  Copy full SHA for 7f6a9ba

• use lenses in REVM simulations

  olympichek

  committed
  116c02e

  Copy full SHA for 116c02e

• fix import

  olympichek

  committed
  7458a35

  Copy full SHA for 7458a35