Commit Graph

  • 2e01e0d03b refactor(RewardsStreamerMP): merge compound() with _updateVault() r4bbit 2025-03-21 16:39:55 +01:00
  • d1bda31dea WIP refactor/remove-mp-staked-2.5 Andrea Franz 2025-03-25 13:54:15 +01:00
  • 15d8876991 WIP r4bbit 2025-03-25 13:10:19 +01:00
  • b475a96dad WIP refactor/remove-mp-staked r4bbit 2025-03-25 09:49:35 +01:00
  • ff9a714c0f refactor(RewardsStreamerMP): merge compound() with _updateVault() refactor/updateVault r4bbit 2025-03-21 16:39:55 +01:00
  • 0385522821 chore(tests): use UndefinedError in some cases Ricardo Guilherme Schmidt 2025-03-21 13:55:58 -03:00
  • 400923aed0 # This is a combination of 6 commits. # This is the 1st commit message: Ricardo Guilherme Schmidt 2025-03-10 12:24:32 -03:00
  • 6e4dfb4797 chore(tests): use UndefinedError in some cases tests/improve-fuzz Ricardo Guilherme Schmidt 2025-03-21 13:55:58 -03:00
  • 3046606896 # This is a combination of 6 commits. # This is the 1st commit message: Ricardo Guilherme Schmidt 2025-03-10 12:24:32 -03:00
  • b0053caa21 demonstrate lock increase bug lock-increase-bug r4bbit 2025-03-21 13:25:52 +01:00
  • 14eaf35091 test(certora): add rule to check Karma externalSupply is always <= totalDistributorAllocation Andrea Franz 2025-03-14 18:49:36 +01:00
  • 03793f78f4 test(certora): add rule to check Karma externalSupply is always <= totalDistributorAllocation rule-tot-supply Andrea Franz 2025-03-14 18:49:36 +01:00
  • dabcf5c990 fix(RewardsStreamerMP): remove double totalMPStaked substraction r4bbit 2025-03-20 12:59:22 +01:00
  • 9ee6f70a80 fix(RewardsStreamerMP): remove double totalMPStaked substraction fix/totalMPStaked r4bbit 2025-03-20 12:59:22 +01:00
  • 508885bed5 chore(RewardsStreamerMP): allow users to stake again without increasing the lock period Andrea Franz 2025-03-19 13:21:13 +01:00
  • 4fa3eb06e0 feat(RewardsStreamerMP): allow for staking multiple times with lock r4bbit 2025-03-14 15:44:12 +01:00
  • 4ea57c3c4a chore(RewardsStreamerMP): allow users to stake again without increasing the lock period feat/enable-multiple-stake Andrea Franz 2025-03-19 13:21:13 +01:00
  • 90d523c55d feat(RewardsStreamerMP): allow for staking multiple times with lock r4bbit 2025-03-14 15:44:12 +01:00
  • 2de338c673 chore(release): 0.1.1 v0.1.1 r4bbit 2025-03-18 08:31:45 +01:00
  • d486a987c9 chore(release): 0.1.1 chore/release r4bbit 2025-03-18 08:31:45 +01:00
  • 47b9fd0ebe chore(KarmaNFT): update deploy scripts with proper svg strings Andrea Franz 2025-03-14 14:56:57 +01:00
  • 28cc5d6b2a chore: add deployment script for metadata generator r4bbit 2025-03-14 13:54:39 +01:00
  • ee21a27f90 chore(KarmaNFT): update deploy scripts with proper svg strings chore/metadata-deployscript Andrea Franz 2025-03-14 14:56:57 +01:00
  • ebfd8d1161 chore: add deployment script for metadata generator r4bbit 2025-03-14 13:54:39 +01:00
  • 5e2dcbabd1 feat(RewardsStreamerMP): add function to compound all MPs for an account r4bbit 2025-03-12 12:35:41 +01:00
  • 27e4953a9a feat(RewardsStreamerMP): add function to compound all MPs for an account feat/compound-account r4bbit 2025-03-12 12:35:41 +01:00
  • 619b541d2a fix(RewardsStreamerMP): prevent attack causes accounts to not accrue MP r4bbit 2025-03-12 11:58:08 +01:00
  • 593499ea23 fix(RewardsStreamerMP): prevent attack causes accounts to not accrue MP fix/compound-force-update r4bbit 2025-03-12 11:58:08 +01:00
  • 54fd86ddf4 chore(KarmaNFT): use image_data as field when there's a raw inlined image Andrea Franz 2025-03-13 15:25:23 +01:00
  • 213ab90461 chore(KarmaNFT): use image_data as field when there's a raw inlined image image-data-field-2 Andrea Franz 2025-03-13 15:25:23 +01:00
  • ccd4bec8c7 docs: adjust docs to latest changes r4bbit 2025-03-11 14:38:58 +01:00
  • 084cd2a3fa docs: adjust docs to latest changes docs/fine-tuning r4bbit 2025-03-11 14:38:58 +01:00
  • 4d10993cc9 chore(certora): add rule to test the sum of all distributors allocation Andrea Franz 2025-03-11 13:08:31 +01:00
  • 1f6b6c1c07 chore(certora): add rule to test the sum of all distributors allocation rule-sum-allocations Andrea Franz 2025-03-11 13:08:31 +01:00
  • 26926c1d5e test(certora): Karma.totalDistributorAllocation can only increase (#166) Andrea Franz 2025-03-11 08:24:57 +01:00
  • fed4446749 fix(ci): run MPLessEqualMaxMP spec on CI (#171) r4bbit 2025-03-11 08:24:39 +01:00
  • f4dbc15e39 fix(ci): run MPLessEqualMaxMP spec on CI fix/ci-certora r4bbit 2025-03-10 16:31:04 +01:00
  • 5471e4cbaa test(certora): Karma.totalDistributorAllocation can only increase certora-total-allocation Andrea Franz 2025-03-06 10:24:50 +01:00
  • ab541a818e refactor: remove unnecessary usage of __Ownable__Init r4bbit 2025-03-07 15:37:37 +01:00
  • e25493c1ee refactor: remove unnecessary usage of __Ownable__Init refactor/ownable-init r4bbit 2025-03-07 15:37:37 +01:00
  • 828d65ad65 refactor(specs): exclude rule instead of including other rules r4bbit 2025-03-07 14:26:57 +01:00
  • aa711c6f4b refactor(specs): exclude rule instead of including other rules refactor/timeout r4bbit 2025-03-07 14:26:57 +01:00
  • 6c89793854 fix(certora): fix timeout on certora with specific config r4bbit 2025-03-07 12:00:43 +01:00
  • 5366da9aac fix(certora): fix timeout on certora with specific config fix/certora-timeout-2 r4bbit 2025-03-07 12:00:43 +01:00
  • e4d21b6caf feat(RewardsStreamerMP): enable extending lock period Ricardo Guilherme Schmidt 2025-03-06 01:03:45 -03:00
  • 50439be124 test(certora): ensure Karma owneable functions are callable only by the owner Andrea Franz 2025-03-06 10:16:07 +01:00
  • ba638ccd7b feat(RewardsStreamerMP): enable extending lock period feat/relock Ricardo Guilherme Schmidt 2025-03-06 01:03:45 -03:00
  • a2b06590d9 docs(README): add sepolia deployment addresses r4bbit 2025-03-04 13:14:41 +01:00
  • 96865fd84e test(certora): ensure Karma owneable functions are callable only by the owner certora-only-owner Andrea Franz 2025-03-06 10:16:07 +01:00
  • 67f76e51a5 docs(README): add sepolia deployment addresses docs/add-addresses r4bbit 2025-03-04 13:14:41 +01:00
  • 7e30c0b718 test(certora): transfer not allowed in the Karma token Andrea Franz 2025-03-06 10:02:51 +01:00
  • 32bb2356dc chore(KarmaNFT): use deploy script in tests Andrea Franz 2025-03-05 16:29:02 +01:00
  • 858de3fa59 test(certora): transfer not allowed in the Karma token certora-transfer-not-allowed Andrea Franz 2025-03-06 10:02:51 +01:00
  • 3f7679eef7 chore(KarmaNFT): use deploy script in tests test-deploy-karma-nft Andrea Franz 2025-03-05 16:29:02 +01:00
  • 96e50c6818 chore(KarmaNFT): add deploy script and remove nft address var in the metadata generators Andrea Franz 2025-03-04 22:46:17 +01:00
  • 0f32ae1bfe chore(KarmaNFT): add deploy script and remove nft address var in the metadata generators deploy-karma-nft Andrea Franz 2025-03-04 22:46:17 +01:00
  • aa1addbfcd chore: downgrade to paris r4bbit 2025-03-04 18:27:55 +01:00
  • ed9b4b0a7e chore: downgrade to paris chore/version r4bbit 2025-03-04 18:27:55 +01:00
  • d7e0d532d1 cleanup: address linter warnings r4bbit 2025-03-04 13:26:35 +01:00
  • 62684698e5 chore(RewardsStreamerMP): remove unused ReentrancyGuardUpgradeable Andrea Franz 2025-03-04 17:47:43 +01:00
  • 44b8ad1c47 cleanup: address linter warnings cleanup/linter r4bbit 2025-03-04 13:26:35 +01:00
  • aa3442b577 feat(Karma): make karma upgradeable Andrea Franz 2025-02-28 11:34:39 +01:00
  • c1d1cc8f26 feat(Karma): make karma upgradeable karma-upgradeable Andrea Franz 2025-02-28 11:34:39 +01:00
  • ef3abad941 refactor(TrustedCodehashAccess): add storage gap for upgrade safety r4bbit 2025-02-28 10:23:39 +01:00
  • a95ff6d3f6 refactor(TrustedCodehashAccess): add storage gap for upgrade safety refactor/storage-gap r4bbit 2025-02-28 10:23:39 +01:00
  • 60081c14fb refactor: cleanup, move code around, and adjust deployscript r4bbit 2025-02-28 10:03:59 +01:00
  • b92744c3c3 refactor: cleanup, move code around, and adjust deployscript cleanup/code r4bbit 2025-02-28 10:03:59 +01:00
  • 5755138d8a refactor(StakeMath): remove unused errors r4bbit 2025-02-28 11:09:54 +01:00
  • 8613d0c8a2 refactor(StakeMath): remove unused errors cleanup/unused-errors r4bbit 2025-02-28 11:09:54 +01:00
  • ed3577f8c4 feat(Karma): allocate external rewards using the Karma contract Andrea Franz 2025-02-26 11:43:58 +01:00
  • 68948e19fc feat(Karma): allocate external rewards using the Karma contract karma-external-rewards-management Andrea Franz 2025-02-26 11:43:58 +01:00
  • 54e80e117f chore(tests): add fuzz test for rewards Ricardo Guilherme Schmidt 2025-02-10 08:19:59 -03:00
  • 3fd8e572c5 chore(tests): add fuzz test for rewards tests/fuzz-fixed Ricardo Guilherme Schmidt 2025-02-10 08:19:59 -03:00
  • 48db1bffb6 docs: complete natspec comments r4bbit 2025-02-21 10:12:48 +01:00
  • a51d5199ae docs(RewardsStreamerMP): add natspec comments r4bbit 2025-02-25 16:15:38 +01:00
  • 73e5b38da0 specs(EmergencyMode): add complementary rule for emergency mode r4bbit 2025-02-25 12:00:30 +01:00
  • 40bbd63131 docs(RewardsStreamerMP): add natspec comments docs/streamer r4bbit 2025-02-25 16:15:38 +01:00
  • 7575e965a2 refactor(RewardsStreamerMP.t.sol): fix test that causes stack too deep error r4bbit 2025-02-25 13:11:41 +01:00
  • 8e9d21d03f refactor(RewardsStreamerMP.t.sol): fix test that causes stack too deep error fix/test-via-ir r4bbit 2025-02-25 13:11:41 +01:00
  • cd484d3c96 specs(EmergencyMode): add complementary rule for emergency mode certora/emergency-mode r4bbit 2025-02-25 12:00:30 +01:00
  • 3bd9c46fb3 chore(tests): Add fuzz tests Ricardo Guilherme Schmidt 2025-02-03 08:00:58 -03:00
  • 8c982924b8 chore(foundry.toml): fix max_test_rejects Ricardo Guilherme Schmidt 2025-02-03 11:13:42 -03:00
  • 56fb0f0f38 chore(MultiplierPointsMath): fix MAX_BALANCE Ricardo Guilherme Schmidt 2025-02-03 08:00:42 -03:00
  • 826b45b928 chore(tests): Add fuzz tests tests/fuzz Ricardo Guilherme Schmidt 2025-02-03 08:00:58 -03:00
  • 2265dfdaa0 chore(foundry.toml): fix max_test_rejects Ricardo Guilherme Schmidt 2025-02-03 11:13:42 -03:00
  • 555ee46a8e chore(MultiplierPointsMath): fix MAX_BALANCE Ricardo Guilherme Schmidt 2025-02-03 08:00:42 -03:00
  • 9edd6ead0a docs: update overview asset r4bbit 2025-02-17 10:32:19 +01:00
  • 50b6d1a545 chore(XPToken): rename XP to Karma Andrea Franz 2025-02-21 10:54:51 +01:00
  • 5d1784828a chore(XPToken): rename XP to Karma karma-rename Andrea Franz 2025-02-21 10:54:51 +01:00
  • f7337f8338 docs: complete natspec comments docs/stakevault r4bbit 2025-02-21 10:12:48 +01:00
  • dd755f1cb7 ci: add --via-ir option to coverage task r4bbit 2025-02-20 20:00:42 +01:00
  • b4b91873ed fix(certora): add prover args to config to prevent timeouts r4bbit 2025-02-20 20:28:36 +01:00
  • 17665336a1 fix(certora): add prover args to config to prevent timeouts fix/certora-timeout r4bbit 2025-02-20 20:28:36 +01:00
  • 28ad19cce7 ci: add --via-ir option to coverage task fix/ci-coverage r4bbit 2025-02-20 20:00:42 +01:00
  • cce4267ce4 ci: update certora CLI to 7.25.2 r4bbit 2025-02-20 17:20:18 +01:00
  • 807f480d97 test(RewardsStreamerMP): ensure newly added fields are checked in tests r4bbit 2025-02-20 15:50:19 +01:00
  • e1d84d5c8f ci: update certora CLI to 7.25.2 deps/update-certora-cli r4bbit 2025-02-20 17:20:18 +01:00
  • 86cea5eea3 test(RewardsStreamerMP): ensure newly added fields are checked in tests test-fixes r4bbit 2025-02-20 15:50:19 +01:00
  • 58f43d07ce feature(RewardsStreamerMP): add compound function and track rewards accrued by each vault Andrea Franz 2025-02-20 12:15:56 +01:00
  • 0f5252b538 feature(RewardsStreamerMP): add compound function and track rewards accrued by each vault compound Andrea Franz 2025-02-20 12:15:56 +01:00