Default Branch

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

Branches

b475a96dad · WIP · Updated 2025-03-25 04:49:35 -04:00    AtHeartEngineer

36
2

ff9a714c0f · refactor(RewardsStreamerMP): merge compound() with _updateVault() · Updated 2025-03-24 09:24:44 -04:00    AtHeartEngineer

36
1

6e4dfb4797 · chore(tests): use UndefinedError in some cases · Updated 2025-03-21 12:55:58 -04:00    AtHeartEngineer

38
2

b0053caa21 · demonstrate lock increase bug · Updated 2025-03-21 08:25:52 -04:00    AtHeartEngineer

38
1

03793f78f4 · test(certora): add rule to check Karma externalSupply is always <= totalDistributorAllocation · Updated 2025-03-20 10:51:08 -04:00    AtHeartEngineer

43
1

9ee6f70a80 · fix(RewardsStreamerMP): remove double totalMPStaked substraction · Updated 2025-03-20 07:59:22 -04:00    AtHeartEngineer

40
1

4ea57c3c4a · chore(RewardsStreamerMP): allow users to stake again without increasing the lock period · Updated 2025-03-19 09:56:52 -04:00    AtHeartEngineer

42
2

d486a987c9 · chore(release): 0.1.1 · Updated 2025-03-18 03:38:42 -04:00    AtHeartEngineer

43
1

ee21a27f90 · chore(KarmaNFT): update deploy scripts with proper svg strings · Updated 2025-03-14 10:50:16 -04:00    AtHeartEngineer

45
2

27e4953a9a · feat(RewardsStreamerMP): add function to compound all MPs for an account · Updated 2025-03-14 08:29:48 -04:00    AtHeartEngineer

46
1

593499ea23 · fix(RewardsStreamerMP): prevent attack causes accounts to not accrue MP · Updated 2025-03-14 08:20:31 -04:00    AtHeartEngineer

47
1

213ab90461 · chore(KarmaNFT): use image_data as field when there's a raw inlined image · Updated 2025-03-14 03:44:02 -04:00    AtHeartEngineer

48
1

084cd2a3fa · docs: adjust docs to latest changes · Updated 2025-03-11 09:40:39 -04:00    AtHeartEngineer

49
1

1f6b6c1c07 · chore(certora): add rule to test the sum of all distributors allocation · Updated 2025-03-11 08:10:28 -04:00    AtHeartEngineer

50
1

f4dbc15e39 · fix(ci): run MPLessEqualMaxMP spec on CI · Updated 2025-03-10 11:31:04 -04:00    AtHeartEngineer

53
1

5471e4cbaa · test(certora): Karma.totalDistributorAllocation can only increase · Updated 2025-03-10 11:25:45 -04:00    AtHeartEngineer

52
1

e25493c1ee · refactor: remove unnecessary usage of __Ownable__Init · Updated 2025-03-07 09:37:37 -05:00    AtHeartEngineer

53
1

aa711c6f4b · refactor(specs): exclude rule instead of including other rules · Updated 2025-03-07 08:26:57 -05:00    AtHeartEngineer

54
1

5366da9aac · fix(certora): fix timeout on certora with specific config · Updated 2025-03-07 06:00:43 -05:00    AtHeartEngineer

55
1

ba638ccd7b · feat(RewardsStreamerMP): enable extending lock period · Updated 2025-03-06 08:21:41 -05:00    AtHeartEngineer

57
1