Default Branch

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

Branches

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

132
1

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

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

135
1

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

136
1

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

137
7

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

137
1

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

138
1

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

138
1

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

139
1

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

140
1

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

141
1

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

143
2

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

149
1

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

150
1

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

152
1

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

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

154
2

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

155
1

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

156
1

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

164
1