Code

WIP: Add simulation for storage.py#31

Code

Open

InfiniteEchoes wants to merge 27 commits intomainformal-land/coq-of-python:mainfrom gy@AddStorageSimformal-land/coq-of-python:gy@AddStorageSimCopy head branch name to clipboard

+379-44

Commits

Commits on Jun 19, 2024

• Initial draft

  InfiniteEchoes

  committed
  73db6e6

  Copy full SHA for 73db6e6

• More draft updates

  InfiniteEchoes

  committed
  d8a750a

  Copy full SHA for d8a750a

• Minor formatting

  InfiniteEchoes

  committed
  05a1abd

  Copy full SHA for 05a1abd

• More updates

  InfiniteEchoes

  committed
  83379da

  Copy full SHA for 83379da

• Basic draft for sload

  InfiniteEchoes

  committed
  8dd935b

  Copy full SHA for 8dd935b

• Update draft

  InfiniteEchoes

  committed
  ebf0891

  Copy full SHA for ebf0891

• Complete a rough draft to the end

  InfiniteEchoes

  committed
  e5dda55

  Copy full SHA for e5dda55

• Minor comment update

  InfiniteEchoes

  committed
  9c9c900

  Copy full SHA for 9c9c900

Commits on Jun 20, 2024

• Draft: add raiseS? and to_bytes draft

  InfiniteEchoes

  committed
  8967d61

  Copy full SHA for 8967d61

• Merge branch 'main' into gy@AddStorageSim

  InfiniteEchoes

  committed
  c0cfedf

  Copy full SHA for c0cfedf

• Fix notes & redundant code after merge update

  InfiniteEchoes

  committed
  8dd85f2

  Copy full SHA for 8dd85f2

• Minor updates

  InfiniteEchoes

  committed
  b1580fc

  Copy full SHA for b1580fc

• Fix List.In parm

  InfiniteEchoes

  committed
  fc7ad8f

  Copy full SHA for fc7ad8f

Commits on Jun 21, 2024

• Update draft on to_bytes

  InfiniteEchoes

  committed
  3bcfd57

  Copy full SHA for 3bcfd57

• Finish defining to_bytes functions

  InfiniteEchoes

  committed
  ef2d1b3

  Copy full SHA for ef2d1b3

• Finish testing error raising code

  InfiniteEchoes

  committed
  9472d55

  Copy full SHA for 9472d55

Commits on Jun 24, 2024

• Minor progress on evm

  InfiniteEchoes

  committed
  7bbc8b2

  Copy full SHA for 7bbc8b2

• Finish testing a correct state update code

  InfiniteEchoes

  committed
  734f696

  Copy full SHA for 734f696

• minor comment delections

  InfiniteEchoes

  committed
  b26e5d7

  Copy full SHA for b26e5d7

• minor: comment update

  InfiniteEchoes

  committed
  4886df2

  Copy full SHA for 4886df2

• minor: comments & formats

  InfiniteEchoes

  committed
  8ea5670

  Copy full SHA for 8ea5670

Commits on Jun 25, 2024

• feat: auto eqb predicate for inductive types

  InfiniteEchoes

  committed
  1070351

  Copy full SHA for 1070351

• feat: lossless aliasing for mods to preserve funcs

  InfiniteEchoes

  committed
  04c68ac

  Copy full SHA for 04c68ac

• minor: draft to test matching on pairs

  InfiniteEchoes

  committed
  a253eb3

  Copy full SHA for a253eb3

Commits on Jun 26, 2024

• feat: finished testing Address.t_beq

  InfiniteEchoes

  committed
  eb3ae1c

  Copy full SHA for eb3ae1c

• feat: list.contains & sload simulation

  InfiniteEchoes

  committed
  a34cce2

  Copy full SHA for a34cce2

• minor: update on sstore

  InfiniteEchoes

  committed
  ef31773

  Copy full SHA for ef31773