vacp2p/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-04-19 03:00:19 -04:00
Code Issues Packages Projects Releases Wiki Activity
96 Commits 152 Branches 3 Tags
fv/mp-decrease
Commit Graph

2 Commits

Author SHA1 Message Date
Andrea Franz
dffaea2a73 feat(RewardsStreamerMP): stream rewards for a period without checking a real reward token balance 2024-12-03 13:50:52 +01:00
r4bbit
91cd844dd6 chore(certora): formally verify StakeVault account balance vs ERC20 
balance

Closes #29
 2024-10-30 12:52:21 +01:00