refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer#150

Merged

3esmit merged 13 commits intodevelopfrom stake-manager-interface

Nov 15, 2024

Commits on Nov 7, 2024

fix(certora): exclude stake() from rule that checks account balance

0x-r4bbit
authored and
3esmit
committed
fix(specs): make sumOfMultiplierPointsIsMultiplierpoints work again

0x-r4bbit
authored and
3esmit
committed
refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer
3esmit
committed

Commits on Nov 8, 2024

Commits on Nov 11, 2024

chore: update interface and update Solidity version to 0.8.27 across all files
3esmit
committed

Commits on Nov 12, 2024

refactor(StakeManager): Use maxMP instead of totalMP
3esmit
committed

Commits on Nov 15, 2024

fix(certora/specs): Make rules work again
3esmit
committed