Code

Mutant voting chain 8#10

Code

Closed

nisnislevi wants to merge 15 commits intocertoraCertora/aave-governance-v3:certorafrom mutant-voting-chain-8Certora/aave-governance-v3:mutant-voting-chain-8Copy head branch name to clipboard

+2,466-1,317

Commits

Commits on Nov 14, 2023

• add parametric_contracts comment

  gadicer

  committed
  250c34e

  Copy full SHA for 250c34e

• add mutants for payloads

  nisnislevi

  committed
  15d4ab7

  Copy full SHA for 15d4ab7

• end of 14.11

  nisnislevi

  committed
  2756926

  Copy full SHA for 2756926

• Merge branch 'check_proposition_power' into nissan-mutants

  nisnislevi

  committed
  a9ef56b

  Copy full SHA for a9ef56b

Commits on Nov 16, 2023

• update report

  nisnislevi

  committed
  cc76f88

  Copy full SHA for cc76f88

• voting chain mutant 1

  nisnislevi

  committed
  30fdfd9

  Copy full SHA for 30fdfd9

• fixing

  nisnislevi

  committed
  52eda7f

  Copy full SHA for 52eda7f

• change yml trigger on PR

  nisnislevi

  committed
  442be5d

  Copy full SHA for 442be5d

• voting chain mutant 6

  nisnislevi

  committed
  4e51ee4

  Copy full SHA for 4e51ee4

• move files

  nisnislevi

  committed
  56dd861

  Copy full SHA for 56dd861

• fixing

  nisnislevi

  committed
  9ce7232

  Copy full SHA for 9ce7232

• fixing mutants

  nisnislevi

  committed
  596d17d

  Copy full SHA for 596d17d

• update report

  nisnislevi

  committed
  dd4a4a1

  Copy full SHA for dd4a4a1

• voting chain mutant 8

  nisnislevi

  committed
  3e83507

  Copy full SHA for 3e83507

• fix src/contracts/BaseVotingStrategy.sol

  nisnislevi

  committed
  de1fde9

  Copy full SHA for de1fde9