Code

Certora#6

Code

Open

nisnislevi wants to merge 121 commits intomainCertora/aave-governance-v3:mainfrom certoraCertora/aave-governance-v3:certoraCopy head branch name to clipboard

+1,822-960

Commits

Commits on Sep 28, 2023

• Certora review

  gadicer

  committed
  9f94939

  Copy full SHA for 9f94939

• fix main.yml

  gadicer

  committed
  f0b5d5b

  Copy full SHA for f0b5d5b

• fix CI

  gadicer

  committed
  e2a9116

  Copy full SHA for e2a9116

• fix CI

  gadicer

  committed
  d5a1e2b

  Copy full SHA for d5a1e2b

• fix ci

  gadicer

  committed
  0d877f9

  Copy full SHA for 0d877f9

• split rules

  gadicer

  committed
  5d31c5a

  Copy full SHA for 5d31c5a

Commits on Oct 1, 2023

• change mapping so openzeppelin-contracts is taken from aave-token-v3

  nisnislevi

  committed
  a5aa442

  Copy full SHA for a5aa442

Commits on Oct 2, 2023

• Merge branch 'main' into certora-properties

  nisnislevi

  committed
  5dc21d0

  Copy full SHA for 5dc21d0

• back to packages same as in remappings.txt

  nisnislevi

  committed
  d36c181

  Copy full SHA for d36c181

Commits on Oct 9, 2023

• new directories structure

  nisnislevi

  committed
  5d5c1fe

  Copy full SHA for 5d5c1fe

• update paths

  nisnislevi

  committed
  5501489

  Copy full SHA for 5501489

• remove links, rewrite implications

  gadicer

  committed
  9a238fc

  Copy full SHA for 9a238fc

• remove old report

  gadicer

  committed
  bac2358

  Copy full SHA for bac2358

• Merge branch 'main' into certora

  nisnislevi

  committed
  08d8e55

  Copy full SHA for 08d8e55

Commits on Oct 19, 2023

• fix witness

  gadicer

  committed
  e67f3bd

  Copy full SHA for e67f3bd

• Merge branch 'main' into certora

  gadicer

  committed
  454a773

  Copy full SHA for 454a773

• Merge branch 'certora' into check_proposition_power

  gadicer

  committed
  1c045fc

  Copy full SHA for 1c045fc

• disable cache

  gadicer

  committed
  ebfb313

  Copy full SHA for ebfb313

Commits on Oct 22, 2023

• allow proposal power to change over time

  gadicer

  committed
  9dfa1ba

  Copy full SHA for 9dfa1ba

• fixe cli version 4.13.1

  gadicer

  committed
  fd2bfd4

  Copy full SHA for fd2bfd4

• fix only_guardian_can_cancel

  gadicer

  committed
  11633ed

  Copy full SHA for 11633ed

Commits on Oct 24, 2023

• allow multiple chain IDs

  gadicer

  committed
  1379b57

  Copy full SHA for 1379b57

• remove workaround axioms

  gadicer

  committed
  d10587c

  Copy full SHA for d10587c

Commits on Oct 25, 2023

• prepare for cli 5.0

  gadicer

  committed
  99819a3

  Copy full SHA for 99819a3

Commits on Oct 26, 2023

• implement TODOs

  gadicer

  committed
  0a99a6e

  Copy full SHA for 0a99a6e

• increase loop_iter, removed old rules

  gadicer

  committed
  6e4e43e

  Copy full SHA for 6e4e43e

Commits on Oct 27, 2023

• fix CI

  gadicer

  committed
  3b07b40

  Copy full SHA for 3b07b40

• remove debug rules

  gadicer

  committed
  f611136

  Copy full SHA for f611136

Commits on Oct 28, 2023

• add method_reachability

  gadicer

  committed
  4810bf5

  Copy full SHA for 4810bf5

Commits on Oct 29, 2023

• UNSAT core analysis

  gadicer

  committed
  093d402

  Copy full SHA for 093d402

Commits on Oct 30, 2023

• UNSAT Core - redundant requires

  gadicer

  committed
  bce4fe1

  Copy full SHA for bce4fe1

• fix getRepresentedVotersSize

  gadicer

  committed
  5a0b188

  Copy full SHA for 5a0b188

• typo

  gadicer

  committed
  6adb24f

  Copy full SHA for 6adb24f

• reomve old rule

  gadicer

  committed
  75cac31

  Copy full SHA for 75cac31

Commits on Nov 2, 2023

• Merge branch 'main' into certora

  gadicer

  committed
  a6edf08

  Copy full SHA for a6edf08

• Merge branch 'certora' into check_proposition_power

  gadicer

  committed
  149500a

  Copy full SHA for 149500a

Commits on Nov 5, 2023

• Merge branch 'main' into certora

  gadicer

  committed
  1ba73a7

  Copy full SHA for 1ba73a7

Commits on Nov 13, 2023

• Merge branch 'main' into certora

  gadicer

  committed
  8b9304c

  Copy full SHA for 8b9304c

Commits on Nov 14, 2023

• add parametric_contracts comment

  gadicer

  committed
  250c34e

  Copy full SHA for 250c34e

• add isView filters

  gadicer

  committed
  62a3aa2

  Copy full SHA for 62a3aa2

Commits on Nov 16, 2023

• remove VotingPortal.sol Executor.sol from scene

  gadicer

  committed
  170b0d4

  Copy full SHA for 170b0d4

Commits on Nov 21, 2023

• review governance spec

  nd-certora

  committed
  b1d04c9

  Copy full SHA for b1d04c9

Commits on Nov 23, 2023

• split rules

  gadicer

  committed
  4ff19b5

  Copy full SHA for 4ff19b5

• Merge branch 'nurit/review' into check_proposition_power

  gadicer

  committed
  2a180c7

  Copy full SHA for 2a180c7

Commits on Nov 26, 2023

• implement rule review

  gadicer

  committed
  2f891db

  Copy full SHA for 2f891db

• typo

  gadicer

  committed
  a22b456

  Copy full SHA for a22b456

Commits on Nov 27, 2023

• split rules

  gadicer

  committed
  c3220fa

  Copy full SHA for c3220fa

Commits on Nov 29, 2023

• review comments

  gadicer

  committed
  c202575

  Copy full SHA for c202575

Commits on Nov 30, 2023

• split rules

  gadicer

  committed
  34881cb

  Copy full SHA for 34881cb

• removed updateSingleRepresentativeForChain

  gadicer

  committed
  68b720b

  Copy full SHA for 68b720b

• add proposal_state_transition checks

  gadicer

  committed
  7a3ee74

  Copy full SHA for 7a3ee74

Commits on Dec 3, 2023

• fix certora-cli==4.13.1

  gadicer

  committed
  97d2d55

  Copy full SHA for 97d2d55

Commits on Dec 10, 2023

• add rule following gambit review

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  db38f2c

  Copy full SHA for db38f2c

• remove duplicate rules

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  c61b6ed

  Copy full SHA for c61b6ed

• remove requireInvariant

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  9af6122

  Copy full SHA for 9af6122

Commits on Dec 11, 2023

• remove timeout helper invariant

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  fd5a610

  Copy full SHA for fd5a610

• Merge pull request #23 from Certora/check_proposition_power

  Show description for 720b41e
  gadicer

  authored
  720b41e

  Copy full SHA for 720b41e

• updates to 5.0.5 - wip

  shoham-certora

  committed
  ca1735b

  Copy full SHA for ca1735b

• added voting assets invariants

  shoham-certora

  committed
  64b3c16

  Copy full SHA for 64b3c16

• additional rules to detect changes in assets lists

  shoham-certora

  committed
  3eefb05

  Copy full SHA for 3eefb05

• ensure getting proposal configs does not revert unnecessarily

  shoham-certora

  committed
  006bd3a

  Copy full SHA for 006bd3a

• set getProposalsVoteConfigurationIds as env free

  shoham-certora

  committed
  ff1c316

  Copy full SHA for ff1c316

• Merge pull request #24 from Certora/check_proposition_power

  Show description for 3c1aa5c
  gadicer

  authored
  3c1aa5c

  Copy full SHA for 3c1aa5c

• remove old rule invalidTokenRefused

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  737d647

  Copy full SHA for 737d647

• Merge pull request #25 from Certora/check_proposition_power

  Show description for 2a784e5
  gadicer

  authored
  2a784e5

  Copy full SHA for 2a784e5

Commits on Dec 18, 2023

• adapt voting specs to certora cli beta 6.0.0

  shoham-certora

  committed
  a59122c

  Copy full SHA for a59122c

• removed swap file

  shoham-certora

  committed
  3f48009

  Copy full SHA for 3f48009

• renamed github action for 6.0.0

  shoham-certora

  committed
  98c66a3

  Copy full SHA for 98c66a3

• added current branch to workflow

  shoham-certora

  committed
  48467fd

  Copy full SHA for 48467fd

• removed current branch from workflow

  shoham-certora

  committed
  0160224

  Copy full SHA for 0160224

• merge with main, remove VOTING_TOKENS_CAP

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  3c592a5

  Copy full SHA for 3c592a5

• remove ertora-review-voting-chain.yml

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  04c78a2

  Copy full SHA for 04c78a2

• add ertora-review-voting-chain.yml

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  ee1e65f

  Copy full SHA for ee1e65f

• merge certora, remove VOTING_TOKENS_CAP, add ertora-review-voting-chain-6.yml

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  8c117aa

  Copy full SHA for 8c117aa

Commits on Dec 19, 2023

• switched git workflows - using cli-beta 6 for voting chain

  shoham-certora

  committed
  1e40a1d

  Copy full SHA for 1e40a1d

Commits on Dec 20, 2023

• Merge branch 'main' into certora

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  c289576

  Copy full SHA for c289576

• Merge branch 'certora' into check_proposition_power

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  38d0313

  Copy full SHA for 38d0313

• initializeSig contains initializeWithRevision

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  e73356f

  Copy full SHA for e73356f

Commits on Dec 25, 2023

• increase hashing length bound

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  2a74b22

  Copy full SHA for 2a74b22

• Revert "increase hashing length bound"

  Show description for 523f0a8
  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  523f0a8

  Copy full SHA for 523f0a8

Commits on Dec 27, 2023

• Merge branch 'main' into certora

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  212d62b

  Copy full SHA for 212d62b

• Merge branch 'main' into check_proposition_power

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  e8dd997

  Copy full SHA for e8dd997

• move to version 6.1.0

  

  Gadi Auerbach

  authored and

  Gadi Auerbach

  committed
  e5feac7

  Copy full SHA for e5feac7

Commits on Nov 26, 2024

• Merge remote-tracking branch 'bgd/fix/fix-ci' into certora

  nisnislevi

  committed
  d135939

  Copy full SHA for d135939

• fix bugs due to initializeWithRevision

  nisnislevi

  committed
  4f8f868

  Copy full SHA for 4f8f868

• add comment

  nisnislevi

  committed
  89746b9

  Copy full SHA for 89746b9

• Merge branch 'fix/fix-ci' into certora

  nisnislevi

  committed
  7642a87

  Copy full SHA for 7642a87

Commits on Dec 1, 2024

• Merge branch 'certora' into try-to-merge

  nisnislevi

  committed
  a7a114f

  Copy full SHA for a7a114f

• merged with check-proposition-power and advanced the voting-yml to 6.1.3

  nisnislevi

  committed
  eb699da

  Copy full SHA for eb699da

• start working on migration to 7.20.3

  nisnislevi

  committed
  e6e628e

  Copy full SHA for e6e628e

Commits on Dec 3, 2024

• fix voting and execution rules

  nisnislevi

  committed
  a586759

  Copy full SHA for a586759

• change to 7.20.3 in yml

  nisnislevi

  committed
  26e7b0e

  Copy full SHA for 26e7b0e

• all rules are running except 2 from executionchain that get timeout

  nisnislevi

  committed
  ac359a6

  Copy full SHA for ac359a6

• put back the orig PayloadsControllerCore.sol

  nisnislevi

  committed
  1394ac5

  Copy full SHA for 1394ac5

Commits on Dec 4, 2024

• change .conf to avoid timeouts

  nisnislevi

  committed
  42539b4

  Copy full SHA for 42539b4

Commits on Dec 8, 2024

• reduce the number of parallel jobs in the ymls

  nisnislevi

  committed
  b8961f5

  Copy full SHA for b8961f5

Commits on Dec 11, 2024

• fix: update libs

  sendra

  committed
  67ecee4

  Copy full SHA for 67ecee4

• fix: compiling and all tests running

  sendra

  committed
  8aefedb

  Copy full SHA for 8aefedb

• fix: updated certora

  sendra

  committed
  aff6d1c

  Copy full SHA for aff6d1c

• fix: cleaned remappings

  sendra

  committed
  9af388d

  Copy full SHA for 9af388d

• fix: fix certora confs

  sendra

  committed
  eb00e4e

  Copy full SHA for eb00e4e

• fix: make certora run on solc20

  sendra

  committed
  628a460

  Copy full SHA for 628a460

• fix: re-added aave token v3

  sendra

  committed
  171aa45

  Copy full SHA for 171aa45

Commits on Dec 12, 2024

• fix: removed token v3

  sendra

  committed
  f619b59

  Copy full SHA for f619b59

• fix: delegation mode harness

  sendra

  committed
  77f5dfe

  Copy full SHA for 77f5dfe

• fix: linea deployment

  sendra

  committed
  62eac6f

  Copy full SHA for 62eac6f

• fix: deployed helpers for linea

  sendra

  committed
  30507a4

  Copy full SHA for 30507a4

Commits on Dec 15, 2024

• syncing with fix/lib-updates

  nisnislevi

  committed
  b5385ef

  Copy full SHA for b5385ef

• initial work in migrating to adi-deploy lib

  nisnislevi

  committed
  d4aa4b3

  Copy full SHA for d4aa4b3

Commits on Dec 16, 2024

• fix: payloads controller redeploy

  sendra

  committed
  0ba61c7

  Copy full SHA for 0ba61c7

• syncing to new library structure

  nisnislevi

  committed
  97d9c49

  Copy full SHA for 97d9c49

• for PR

  nisnislevi

  committed
  4249612

  Copy full SHA for 4249612

Commits on Dec 18, 2024

• Merge pull request bgd-labs#44 from Certora/certora-squashed

  Show description for b778a23
  sendra

  authored
  b778a23

  Copy full SHA for b778a23

Commits on Jan 8, 2025

• Merge pull request bgd-labs#43 from bgd-labs/feat/linea-deployments

  Show description for daa1672
  sendra

  authored
  daa1672

  Copy full SHA for daa1672

• Merge pull request bgd-labs#42 from bgd-labs/fix/lib-updates

  Show description for a71ceca
  sendra

  authored
  a71ceca

  Copy full SHA for a71ceca

• feat: celo deployment

  sendra

  committed
  970e1c1

  Copy full SHA for 970e1c1

• fix: updated with correct rescue methods override

  sendra

  committed
  0547e69

  Copy full SHA for 0547e69

• fix: payloads controller celo deployment

  sendra

  committed
  325fa39

  Copy full SHA for 325fa39

Commits on Jan 9, 2025

• fix: fixed tests

  sendra

  committed
  87cd3b0

  Copy full SHA for 87cd3b0

• Merge remote-tracking branch 'bgd/feat/deployment-celo' into certora

  nisnislevi

  committed
  508bf50

  Copy full SHA for 508bf50

Commits on Jan 12, 2025

• fix problem with missing function in ECDSA library

  nisnislevi

  committed
  d26b7e3

  Copy full SHA for d26b7e3