Code

Certora squashed#1

Code

Closed

nisnislevi wants to merge 20 commits intoccip-ghoCertora/ccip-old:ccip-ghofrom certora-squashedCertora/ccip-old:certora-squashedCopy head branch name to clipboard

+4,870-6

Commits

Commits on May 8, 2024

• feat: Add custom upgradeable TokenPool contracts

  miguelmtzinf

  committed
  8a05713

  Copy full SHA for 8a05713

Commits on May 15, 2024

• remove space at the end of file name

  nisnislevi

  committed
  4b28d61

  Copy full SHA for 4b28d61

Commits on May 19, 2024

• initial version of certora directory

  nisnislevi

  committed
  1392038

  Copy full SHA for 1392038

Commits on May 20, 2024

• test: Add unit and e2e tests (aave#4)

  Show description for 24d277f
  miguelmtzinf

  authored
  24d277f

  Copy full SHA for 24d277f

• feat: Add Bridge limit admin (aave#6)

  Show description for e25ffef
  miguelmtzinf

  authored
  e25ffef

  Copy full SHA for e25ffef

• fix: Rename error

  miguelmtzinf

  committed
  13afb40

  Copy full SHA for 13afb40

Commits on May 22, 2024

• doc: Add caution docs to setBridgeLimit

  miguelmtzinf

  committed
  64cc73d

  Copy full SHA for 64cc73d

• spec for CCIP

  nisnislevi

  committed
  eef1b61

  Copy full SHA for eef1b61

• fix: Fix github action dir name

  miguelmtzinf

  committed
  a666880

  Copy full SHA for a666880

• Merge remote-tracking branch 'aave-orig/feat/gho-token-pool' into certora

  nisnislevi

  committed
  53397f7

  Copy full SHA for 53397f7

• clean and add yml

  nisnislevi

  committed
  98e5411

  Copy full SHA for 98e5411

• fix yml

  nisnislevi

  committed
  e08c03d

  Copy full SHA for e08c03d

• fix yml

  nisnislevi

  committed
  408dbca

  Copy full SHA for 408dbca

• clean and document spec file

  nisnislevi

  committed
  c36ccde

  Copy full SHA for c36ccde

Commits on May 23, 2024

• fix: Add code diffs between custom token pools and standard implementation

  miguelmtzinf

  committed
  b1443cc

  Copy full SHA for b1443cc

• fix: Directory restructure

  miguelmtzinf

  committed
  ffea18d

  Copy full SHA for ffea18d

• fix: Fix README

  miguelmtzinf

  committed
  bf5ae08

  Copy full SHA for bf5ae08

• fix: Remove unneccesary files

  miguelmtzinf

  committed
  e2eac9f

  Copy full SHA for e2eac9f

Commits on May 26, 2024

• Merge with new CCIP version

  nisnislevi

  committed
  8596bf8

  Copy full SHA for 8596bf8

Commits on May 27, 2024

• for PR

  nisnislevi

  committed
  ffbda1f

  Copy full SHA for ffbda1f