r4bbit 9b084c1b15

fix(Certora specs): make specs compile again ...

There have been a bunch of breaking changes in the staking contract that
resulted in our specs not compiling.

This commit fixes this, however it does not yet ensure the prover is
satisfied.

2024-03-01 10:56:45 +01:00

..

StakeManager.spec

fix(Certora specs): make specs compile again

2024-03-01 10:56:45 +01:00

StakeManagerStartMigration.spec

fix(Certora specs): make specs compile again

2024-03-01 10:56:45 +01:00

StakeVault.spec

chore: certora setup for stakemanager and vault

2024-02-20 09:04:23 +01:00