r4bbit 109b684a2c

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 13:17:45 +01:00

..

confs

fix: StakeManager migration fixes and certora rules

2024-02-20 09:08:00 +01:00

harness

fix: StakeManager migration fixes and certora rules

2024-02-20 09:08:00 +01:00

helpers

chore: certora setup for stakemanager and vault

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

specs

fix(Certora specs): make specs compile again

2024-03-01 13:17:45 +01:00