staking/certora
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
..
confs feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
harness fix: StakeManager migration fixes and certora rules 2024-02-20 09:08:00 +01:00
helpers feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
specs feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00