vacp2p/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-09 21:18:01 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
48db1bffb6ae92bd728bed6e675427750068f787
staking-reward-streamer/certora
History
r4bbit 73e5b38da0 specs(EmergencyMode): add complementary rule for emergency mode 
This rule checks explicitly which functions should not be callable when
emegency mode is enabled.
2025-02-26 08:31:09 +01:00
..
confs
chore(XPToken): rename XP to Karma
2025-02-21 11:43:12 +01:00
helpers
chore(certora): add sumOfBalancesIsTotalStaked invariant
2024-10-14 12:04:52 +02:00
specs
specs(EmergencyMode): add complementary rule for emergency mode
2025-02-26 08:31:09 +01:00