AtHeartEngineer/staking-reward-streamer
1
0
Fork 0
mirror of https://github.com/vacp2p/staking-reward-streamer.git synced 2026-01-09 15:27:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
220 Commits 152 Branches 3 Tags

Default Branch

main

1f9e9f678c · docs: minor latex and typo fixes · Updated 2025-08-19 06:55:55 -04:00
 ZIP  TAR.GZ

Branches

cleanup/initializable

df1c67be9f · chore(RewardsStreamerMP): add Initializable to inheritance · Updated 2024-12-03 07:37:51 -05:00    AtHeartEngineer

132
1
 ZIP  TAR.GZ
feat/leave-upgradable

09fc92d59b · test(RewardsStreamerMP): add test to ensure funds are saffe when stack overflow · Updated 2024-12-01 02:13:35 -05:00    AtHeartEngineer

134
2
 ZIP  TAR.GZ
feat/upgradeability

816f72bac1 · feat(RewardsStreamerMP): make RewardsStreamerMP upgradeable · Updated 2024-12-01 01:59:49 -05:00    AtHeartEngineer

135
1
 ZIP  TAR.GZ
test/stake-vault-withdraw

177d633ba9 · test(StakeVault): add test to ensure users cannot withdraw without unstaking · Updated 2024-11-30 07:00:03 -05:00    AtHeartEngineer

136
1
 ZIP  TAR.GZ
proxy-upgradability

50d4b9ccce · refactor(RewardStreamerMP.sol): Use ReentrancyGuardUpgradeable instead of ReentrancyGuardTransient · Updated 2024-11-29 10:15:35 -05:00    AtHeartEngineer

137
7
 ZIP  TAR.GZ
feat/leave

7ad3428d49 · feat(RewardsStreamerMP): introduce leave() function · Updated 2024-11-28 02:28:46 -05:00    AtHeartEngineer

137
1
 ZIP  TAR.GZ
feat/emergency-exit

ff846217e8 · feat(RewardStreamerMP): add emergency mode so users can exit the system · Updated 2024-11-28 00:29:48 -05:00    AtHeartEngineer

138
1
 ZIP  TAR.GZ
test/stake-vault

d1649faf69 · test(StakeVault): introduce test file for StakeVault · Updated 2024-11-26 04:12:05 -05:00    AtHeartEngineer

138
1
 ZIP  TAR.GZ
feat/lock

d42488d6dc · feat(RewardsStreamerMP): add lock(uint256) function · Updated 2024-11-01 06:21:41 -04:00    AtHeartEngineer

139
1
 ZIP  TAR.GZ
fv/acc-balance

232c830861 · chore(certora): formally verify StakeVault account balance vs ERC20 · Updated 2024-10-22 11:26:48 -04:00    AtHeartEngineer

140
1
 ZIP  TAR.GZ
feat/trust-codehash

6e13a040d7 · feat: add TrustedCodehashAccess contract and interface · Updated 2024-10-22 05:26:44 -04:00    AtHeartEngineer

141
1
 ZIP  TAR.GZ
chore/stake-vault

03e11e85d7 · chore: introduce IStakeManager interface · Updated 2024-10-21 08:38:41 -04:00    AtHeartEngineer

143
2
 ZIP  TAR.GZ
refactor/user-account

7c18c8b6f5 · refactor(RewardStreamerMP): rename user vars to account · Updated 2024-10-18 08:43:12 -04:00    AtHeartEngineer

149
1
 ZIP  TAR.GZ
fv/gt-lockup-gt-mp

6911a243d1 · chore(certora): add rule that greater lockup means greater MPs · Updated 2024-10-18 08:05:38 -04:00    AtHeartEngineer

150
1
 ZIP  TAR.GZ
fv/some-rule

29f051bb16 · WIP · Updated 2024-10-17 07:27:02 -04:00    AtHeartEngineer

152
1
 ZIP  TAR.GZ
fv/mp-1-to-1-ratio

823d5b9dd0 · chore(certora): add rule that MPs are minted at 1-to-1 ratio · Updated 2024-10-17 04:59:15 -04:00    AtHeartEngineer

152
1
 ZIP  TAR.GZ
test/unstake-bonus-mp

2ff697b7af · test(RewardsStreamerMP): ensure bonusMP and maxMP are decreased · Updated 2024-10-16 08:42:27 -04:00    AtHeartEngineer

154
2
 ZIP  TAR.GZ
fv/mp-ge-balance

00975dec11 · chore(certora): add accountMPGreaterEqualsAccountBalance invariant · Updated 2024-10-16 07:59:24 -04:00    AtHeartEngineer

155
1
 ZIP  TAR.GZ
fv/max-mp

4902997caf · refactor(RewardStreamerMP): keep track of maxMP instead of · Updated 2024-10-16 05:34:14 -04:00    AtHeartEngineer

156
1
 ZIP  TAR.GZ
fv/xp-token-conf

8ed7343727 · chore(certora): dont wait for results · Updated 2024-10-14 05:50:44 -04:00    AtHeartEngineer

164
1
 ZIP  TAR.GZ