Code

Implement Solidity's memory layout#190

Code

Open

zoep wants to merge 19 commits intomainethereum/act:mainfrom mem-layoutethereum/act:mem-layoutCopy head branch name to clipboard

Commits

Commits on Jan 15, 2025

• WIP in storage layout

  zoep

  committed
  0e4b60f

  Copy full SHA for 0e4b60f

Commits on Jan 16, 2025

• run fmt

  zoep

  committed
  8303df2

  Copy full SHA for 8303df2

• Prototype solution

  zoep

  committed
  e3b2209

  Copy full SHA for e3b2209

Commits on Jan 17, 2025

• fix bug in translation

  zoep

  committed
  b79ad8d

  Copy full SHA for b79ad8d

Commits on Jan 20, 2025

• Add more complext layout and fix bugs

  zoep

  committed
  44feade

  Copy full SHA for 44feade

Commits on Jan 26, 2025

• Generalize the solution to also work for mappings

  zoep

  committed
  a6556f7

  Copy full SHA for a6556f7

Commits on Feb 3, 2025

• Fix for mappings and more examples

  zoep

  committed
  5b3cdae

  Copy full SHA for 5b3cdae

Commits on Feb 4, 2025

• Fixes for booleans

  zoep

  committed
  6c6b979

  Copy full SHA for 6c6b979

• Fixes for booleans translation and more tests

  zoep

  committed
  782dadd

  Copy full SHA for 782dadd

Commits on Feb 6, 2025

• Fix conflicts

  zoep

  committed
  3199ef7

  Copy full SHA for 3199ef7

• Better approach for boolean ranges

  zoep

  committed
  f3c0574

  Copy full SHA for f3c0574

• Remove unused import

  zoep

  committed
  3fa5a65

  Copy full SHA for 3fa5a65

Commits on Mar 19, 2025

• Bump hevm

  zoep

  committed
  0d2cdd7

  Copy full SHA for 0d2cdd7

• Port to latest hevm

  zoep

  committed
  75c76e7

  Copy full SHA for 75c76e7

• Nit in decompiler

  zoep

  committed
  eac14f8

  Copy full SHA for eac14f8

• Port to Rocq

  zoep

  committed
  f9f2f29

  Copy full SHA for f9f2f29

Commits on Mar 20, 2025

• WIP

  zoep

  committed
  8be580b

  Copy full SHA for 8be580b

Commits on Mar 21, 2025

• WIP port to newest hevm

  zoep

  committed
  d69731c

  Copy full SHA for d69731c

Commits on Mar 29, 2025

• Use correct map when calculating disjoint addresses

  zoep

  committed
  1589bd1

  Copy full SHA for 1589bd1