Code

Check proposition power#29

Code

Closed

nisnislevi wants to merge 13 commits intocertora-oldCertora/aave-governance-v3:certora-oldfrom check_proposition_powerCertora/aave-governance-v3:check_proposition_powerCopy head branch name to clipboard

+332-78

Commits

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 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 '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 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