Code

Add keccak.py simulation#30

Code

Merged

clarus merged 13 commits intomainformal-land/coq-of-python:mainfrom draft@AddKeccakformal-land/coq-of-python:draft@AddKeccakCopy head branch name to clipboardJun 19, 2024

+201

Commits

Commits on Jun 12, 2024

• Initial draft

  InfiniteEchoes

  committed
  897e74d

  Copy full SHA for 897e74d

• Update

  InfiniteEchoes

  committed
  8fb843d

  Copy full SHA for 8fb843d

Commits on Jun 18, 2024

• minor updates

  InfiniteEchoes

  committed
  2db26a7

  Copy full SHA for 2db26a7

Commits on Jun 19, 2024

• Update current progress & conflict at gas

  InfiniteEchoes

  committed
  5552215

  Copy full SHA for 5552215

• Update keccak.v & fixed all other files

  InfiniteEchoes

  committed
  7e9c1d6

  Copy full SHA for 7e9c1d6

• Fixing ExtendMemory not found issue on local br

  InfiniteEchoes

  committed
  6321a77

  Copy full SHA for 6321a77

• Minor updates according to comments

  InfiniteEchoes

  committed
  7923cb0

  Copy full SHA for 7923cb0

• minor updates

  InfiniteEchoes

  committed
  ed326c7

  Copy full SHA for ed326c7

• Merge branch 'main' into draft@AddKeccak

  InfiniteEchoes

  committed
  5cb658d

  Copy full SHA for 5cb658d

• More updates?

  InfiniteEchoes

  committed
  0e8a07c

  Copy full SHA for 0e8a07c

• Update: resolved ExtendMemory issue

  InfiniteEchoes

  committed
  8e43584

  Copy full SHA for 8e43584

• Finish keccak

  InfiniteEchoes

  committed
  55f8df5

  Copy full SHA for 55f8df5

• Remove test codes & Fix format

  InfiniteEchoes

  committed
  6818d7c

  Copy full SHA for 6818d7c