staking/certora/helpers
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
..
ERC20A.sol chore: certora setup for stakemanager and vault 2024-02-20 09:04:23 +01:00
StakeRewardEstimateA.sol feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00