staking/certora/confs/StakeManager.conf

{
  "files":
    ["contracts/StakeManager.sol",
    "certora/helpers/ExpiredStakeStorageA.sol",
      "certora/helpers/ERC20A.sol"
    ],
  "link" : [
    "StakeManager:stakedToken=ERC20A",
    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
  ],
  "msg": "Verifying StakeManager.sol",
  "rule_sanity": "basic",
  "verify": "StakeManager:certora/specs/StakeManager.spec",
  "optimistic_loop": true,
  "loop_iter": "3",
  "packages": [
    "forge-std=lib/forge-std/src",
    "@openzeppelin=lib/openzeppelin-contracts"
  ]
}
chore(ci): add certora CI integration (#40) 2023-12-11 15:10:41 +01:00			`{`
feat(StakeManager): implement multiplier points estimation This commit introduces the internal accounting logic for accrueing multiplier points, that will later be used to determine how many experience points an account is eligible to. The majority of the work here was done by @3esmit. 2024-09-04 09:54:45 +02:00			`"files":`
chore: certora setup for stakemanager and vault 2024-01-24 09:39:04 +01:00			`["contracts/StakeManager.sol",`
refactor(StakeManager): Abstact out codehash verification to better code reusability chore(StakeManager): move out storage contract and rename it 2024-09-28 15:21:43 -03:00			`"certora/helpers/ExpiredStakeStorageA.sol",`
chore: certora setup for stakemanager and vault 2024-01-24 09:39:04 +01:00			`"certora/helpers/ERC20A.sol"`
			`],`
			`"link" : [`
feat(StakeManager): implement multiplier points estimation This commit introduces the internal accounting logic for accrueing multiplier points, that will later be used to determine how many experience points an account is eligible to. The majority of the work here was done by @3esmit. 2024-09-04 09:54:45 +02:00			`"StakeManager:stakedToken=ERC20A",`
refactor(StakeManager): Abstact out codehash verification to better code reusability chore(StakeManager): move out storage contract and rename it 2024-09-28 15:21:43 -03:00			`"StakeManager:expiredStakeStorage=ExpiredStakeStorageA"`
chore: certora setup for stakemanager and vault 2024-01-24 09:39:04 +01:00			`],`
chore(ci): add certora CI integration (#40) 2023-12-11 15:10:41 +01:00			`"msg": "Verifying StakeManager.sol",`
			`"rule_sanity": "basic",`
			`"verify": "StakeManager:certora/specs/StakeManager.spec",`
chore: certora setup for stakemanager and vault 2024-01-24 09:39:04 +01:00			`"optimistic_loop": true,`
			`"loop_iter": "3",`
chore(ci): add certora CI integration (#40) 2023-12-11 15:10:41 +01:00			`"packages": [`
feat(StakeManager): implement multiplier points estimation This commit introduces the internal accounting logic for accrueing multiplier points, that will later be used to determine how many experience points an account is eligible to. The majority of the work here was done by @3esmit. 2024-09-04 09:54:45 +02:00			`"forge-std=lib/forge-std/src",`
chore(ci): add certora CI integration (#40) 2023-12-11 15:10:41 +01:00			`"@openzeppelin=lib/openzeppelin-contracts"`
			`]`
			`}`