Ricardo Guilherme Schmidt 8df475aab8 fix(StakeManager): Allow extending the lock after increasing stake to allow account reaching absolute max MP ...

fix(MultiplierPointMath): Fix helper function to correctly estimate avaliable lock time

chore(spec): remove additional field which does not exist anymore

2025-03-25 17:14:17 +01:00

..

confs

refactor(specs): exclude rule instead of including other rules

2025-03-07 15:05:27 +01:00

helpers

chore(certora): add sumOfBalancesIsTotalStaked invariant

2024-10-14 12:04:52 +02:00

specs

fix(StakeManager): Allow extending the lock after increasing stake to allow account reaching absolute max MP

2025-03-25 17:14:17 +01:00