Code

chore: setup halmos#20

Code

Closed

0xDiscotech wants to merge 15 commits intochore/setup-medusadefi-wonderland/optimism:chore/setup-medusafrom chore/setup-halmosdefi-wonderland/optimism:chore/setup-halmosCopy head branch name to clipboard

+1,006-1

Commits

Commits on Jul 12, 2024

• feat: add superchain erc20 contract (#3)

  Show description for 9f703da
  agusduha

  authored
  9f703da

Commits on Jul 15, 2024

• refactor: remove the data param on send and relay erc20 functions (#4)

  0xDiscotech

  authored
  27dc092

Commits on Jul 16, 2024

• feat: superchainerc20 tests (#5)

  0xDiscotech

  authored
  6ff5ecb

Commits on Jul 18, 2024

• feat: add superchain erc20 beacon (#6)

  agusduha

  authored
  e150446

• feat: change superchain erc20 constructor params (#7)

  Show description for 6eb614f
  agusduha

  authored
  6eb614f

Commits on Jul 19, 2024

• feat: add superchain erc20 factory

  agusduha

  committed
  099a4c3

Commits on Jul 22, 2024

• fix: unit tests

  agusduha

  committed
  614cfdb

• fix: refactor predeploys

  agusduha

  committed
  d201a39

• feat: refactor factory to have one deploy function

  agusduha

  committed
  3a85e5b

Commits on Aug 5, 2024

• feat: add L2 standrad bridge interop contract

  agusduha

  committed
  64dc6d4

Commits on Aug 7, 2024

• chore: merge sc/liquidity-migration

  0xteddybear

  committed
  d469a49

Commits on Aug 8, 2024

• chore: configure medusa with two basic fuzz tests

  Show description for cfb3f68
  0xteddybear

  committed
  cfb3f68

Commits on Aug 9, 2024

• feat: checkpoint

  0xDiscotech

  committed
  6e0a27a

Commits on Aug 12, 2024

• feat: wip

  0xDiscotech

  committed
  e93ab23

• feat: checkpoint

  0xDiscotech

  committed
  627d202