Ricardo Guilherme Schmidt ce50fcb105 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 12:49:12 -03: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 12:49:12 -03:00