staking/certora/specs
r4bbit 5dec595a20 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-10 08:51:35 +02:00
..
StakeManager.spec feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
StakeManagerProcessAccount.spec feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
StakeManagerStartMigration.spec feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
StakeVault.spec feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00