logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 2542364f6d
         fix(Certora specs): ensure prover runs rules on `currentContract` r4bbit 2024-03-01 10:42:11 +0100
  • 18635f352a
         chore(Certora specs): comment out purposefully failing rule r4bbit 2024-03-01 10:40:13 +0100
  • 9b084c1b15
         fix(Certora specs): make specs compile again r4bbit 2024-03-01 10:35:19 +0100
  • a76603e408 chore: add release command r4bbit 2024-02-28 12:52:36 +0100
  • d397466f75 feat(script): add deployment script for new `StakeManager`s r4bbit 2024-02-28 13:46:50 +0100
  • a860f8f414
         feat(script): add deployment script for new `StakeManager`s feat/stakemanager-deployscript r4bbit 2024-02-28 13:46:50 +0100
  • ec7a0be5f9
         chore: add release command chore/add-release-capabilities r4bbit 2024-02-28 12:52:36 +0100
  • 6c358dab9e fix(StakeManager): use OpenZeppelin Math to avoid precision loss in int divisions Ricardo Guilherme Schmidt 2024-02-24 16:39:38 -0300
  • 47d7555c27 chore(StakeManager): add test for process account and unstake Ricardo Guilherme Schmidt 2024-02-24 16:35:34 -0300
  • 92ff9bff21 refactor(StakeManager): account initialize in currentEpoch Ricardo Guilherme Schmidt 2024-02-24 16:34:15 -0300
  • 6082399e83 chore: add gas-report for all contracts Ricardo Guilherme Schmidt 2024-02-24 16:32:58 -0300
  • 1547d84ea9 fix(StakeManager): use mul by PRECISION and div back later to avoid precision loss in int divisions fix-precision-loss-2 Ricardo Guilherme Schmidt 2024-02-24 16:41:52 -0300
  • ecc6271c1f fix(StakeManager): use OpenZeppelin Math to avoid precision loss in int divisions fix-precision-loss Ricardo Guilherme Schmidt 2024-02-24 16:39:38 -0300
  • 81a28da777 chore(StakeManager): add test for process account and unstake Ricardo Guilherme Schmidt 2024-02-24 16:35:34 -0300
  • 65414b1f4f refactor(StakeManager): account initialize in currentEpoch Ricardo Guilherme Schmidt 2024-02-24 16:34:15 -0300
  • 2e50b72713 chore: add gas-report for all contracts Ricardo Guilherme Schmidt 2024-02-24 16:32:58 -0300
  • 17f859577a refactor(StakeManager): change MIN_LOCKUP_PERIOD to 2 weeks Ricardo Guilherme Schmidt 2024-02-23 11:54:42 -0300
  • ac8490dd89 refactor(StakeManager): change MIN_LOCKUP_PERIOD to 2 weeks 3esmit/issue62 Ricardo Guilherme Schmidt 2024-02-23 11:54:42 -0300
  • 294c691d1a chore(StakeManager): mark TODOs on division precision loss Ricardo Guilherme Schmidt 2024-02-22 19:28:12 -0300
  • 2a762d6a41 fix(StakeManager): use a correct MP formula Ricardo Guilherme Schmidt 2024-02-22 19:03:02 -0300
  • c356954302 fix(StakeManager): check for valid migration address Ricardo Guilherme Schmidt 2024-02-22 18:55:24 -0300
  • f06168c8ce fix(StakeManager): properly init accs and checks init Ricardo Guilherme Schmidt 2024-02-22 18:23:03 -0300
  • c9ed9dd833 refactor(StakeManager): refactor multiplier points logic Ricardo Guilherme Schmidt 2024-02-18 18:37:15 -0300
  • 771b8b8fa4 chore(StakeManager): mark TODOs on division precision loss refactor-mp-logic Ricardo Guilherme Schmidt 2024-02-22 19:28:12 -0300
  • 36a6c2baf8 fix(StakeManager): use a correct MP formula Ricardo Guilherme Schmidt 2024-02-22 19:03:02 -0300
  • a2831a8da5 fix(StakeManager): check for valid migration address Ricardo Guilherme Schmidt 2024-02-22 18:55:24 -0300
  • 10b3a2f05d lint 3esmit/issue51 Ricardo Guilherme Schmidt 2024-02-22 18:47:04 -0300
  • 06456b14ba ok, lint Ricardo Guilherme Schmidt 2024-02-21 18:32:25 -0300
  • aea9e21feb iEpoch.totalSupply underflow, migration fixes, MP formula fix Ricardo Guilherme Schmidt 2024-02-21 18:31:55 -0300
  • dcdc2a75be change MIN_LOCKUP_PERIOD to 2 weeks Ricardo Guilherme Schmidt 2024-02-21 11:07:05 -0300
  • 52a69324a6 fix(StakeManager): properly init accs and checks init Ricardo Guilherme Schmidt 2024-02-22 18:23:03 -0300
  • 9c172b9236 refactor(StakeManager): refactor multiplier points logic Ricardo Guilherme Schmidt 2024-02-18 18:37:15 -0300
  • 5c564a8050 chore(workflows): add-pr-to-project-board only trigger on `opened` r4bbit 2024-02-20 11:37:13 +0100
  • 7c1f64b359
         chore(workflows): add-pr-to-project-board only trigger on `opened` chore/workflow-fix r4bbit 2024-02-20 11:37:13 +0100
  • 03bc6559ae fix: StakeManager migration fixes and certora rules Ricardo Guilherme Schmidt 2024-01-24 16:07:23 +0100
  • 28f8bec399
         fix: StakeManager migration fixes and certora rules Ricardo Guilherme Schmidt 2024-01-24 16:07:23 +0100
  • 14248a285b chore: certora setup for stakemanager and vault Nurit Dor 2024-01-24 09:39:04 +0100
  • f433dcd628
         fix: StakeManager migration fixes and certora rules fix-migration Ricardo Guilherme Schmidt 2024-01-24 16:07:23 +0100
  • a906cdebe2
         chore(StakeManager.spec): add certora invariants for multiplierPoints r4bbit 2024-01-25 13:21:17 +0100
  • c05dff9b6c
         chore(StakeManager.spec): add invariant `sumOfMultiplierPoints` chore/multiplier-point-invariant r4bbit 2024-02-07 14:02:48 +0100
  • a0585d98e2
         chore: add cerora rules for `stakeSupply` ghost rule chore/stakesupply-rule Nurit Dor 2024-01-24 12:16:01 +0100
  • 4f2f6d3a75
         chore: certora setup for stakemanager and vault Nurit Dor 2024-01-24 09:39:04 +0100
  • 119b8de037 chore: add project board automations r4bbit 2024-02-15 15:49:55 +0100
  • dace315867
         chore: add project board automations add-automations r4bbit 2024-02-15 15:49:55 +0100
  • 548f57de9b
         adding more rules certora-stuf r4bbit 2024-01-25 13:21:17 +0100
  • f08800b579 processed account rule Nurit Dor 2024-01-25 11:18:34 +0100
  • d2eea4f094 procssAccount spec Nurit Dor 2024-01-25 09:39:41 +0100
  • d4ecadfeb4
         Merge pull request #1 from gravityblast/certora Nurit Dor 2024-01-24 17:12:23 +0100
  • 5610d4e329 vault specs Andrea Franz 2024-01-24 17:09:44 +0100
  • b90c591f84 totalStake ghost rule Nurit Dor 2024-01-24 12:16:01 +0100
  • 766e41236f certora setup for stakemanager and vault Nurit Dor 2024-01-24 09:39:04 +0100
  • dd14d2e9fc cleanup(VaultFactoryTest): remove unused import r4bbit 2024-01-15 12:25:11 +0100
  • 300a296137 test(StakeManager): honor lockup period when unstaking r4bbit 2024-01-12 13:36:13 +0100
  • 62f908eb34
         cleanup(VaultFactoryTest): remove unused import cleaup/test r4bbit 2024-01-15 12:25:11 +0100
  • c8f69e9c3e
         test(StakeManager): honor lockup period when unstaking test/lockup-period r4bbit 2024-01-12 13:36:13 +0100
  • 4e411f2b37 test(StakeManager): add test to check that inital MPs are minted r4bbit 2024-01-12 13:07:31 +0100
  • 81a4afa21e
         test(StakeManager): add test to check that inital MPs are minted r4bbit 2024-01-12 13:07:31 +0100
  • 74ff357142 fix(StakeVault): make unstaking actually work r4bbit 2024-01-11 14:54:39 +0100
  • 1ec8ad3e9c
         fix(StakeVault): make unstaking actually work r4bbit 2024-01-11 14:54:39 +0100
  • edc44e0c6a
         chore: make linter happy r4bbit 2024-01-16 12:12:26 +0100
  • cf7a8b6574
         chore(ci): add certora CI integration (#40) r4bbit 2023-12-11 15:10:41 +0100
  • d9a64559a2
         fix(StakeManager): add checks for whether lockup period is in range (#39) r4bbit 2023-12-06 12:10:07 +0100
  • e41efab0e2
         chore(ci): add certora CI integration r4bbit 2023-12-06 12:06:12 +0100
  • db74969a94
         fix(StakeManager): add checks for whether lockup period is in range feat/lockup-period r4bbit 2023-10-20 12:58:48 +0200
  • f259286e98
         feat: introduce `VaultFactory` (#38) r4bbit 2023-11-07 09:49:22 +0100
  • 8e2b9f1e38
         feat: introduce `VaultFactory` r4bbit 2023-10-12 14:16:55 +0200
  • b5e513ce49
         refactor(StakeVault): introduce `stakedToken()` API (#36) r4bbit 2023-11-07 09:40:38 +0100
  • 974f775319
         refactor(StakeVault): introduce `stakedToken()` API r4bbit 2023-10-12 11:20:55 +0200
  • 70c74e2c2c
         refactor(StakeVault): use custom error over error strings (#35) r4bbit 2023-11-07 09:38:00 +0100
  • 648c009a89
         refactor(StakeVault): use custom error over error strings r4bbit 2023-10-12 10:43:53 +0200
  • 6f591dd674
         refactor(StakeManager): use custom errors everywhere (#30) r4bbit 2023-10-10 15:49:34 +0200
  • 85b5163418
         docs: fix codecov badge r4bbit 2023-10-10 15:46:29 +0200
  • fd74386e8e
         refactor(StakeManager): use custom errors everywhere r4bbit 2023-10-09 11:15:51 +0200
  • 03d2dcf3e8
         refactor(StakeManager): add custom `StakeManager__FundsLocked` error (#29) r4bbit 2023-10-10 15:44:16 +0200
  • e844a2ef12
         refactor(StakeManager): add custom `StakeManager__FundsLocked` error r4bbit 2023-10-09 10:15:39 +0200
  • eeffcfe7d7
         refactor(StakeManager): use custom error in `onlyVault` modifier (#28) r4bbit 2023-10-10 15:32:46 +0200
  • 4b3c07a5f2
         refactor(StakeManager): use custom error in `onlyVault` modifier r4bbit 2023-10-06 14:35:56 +0200
  • 725d380547
         test(StakeManager): expand on deployment test (#27) r4bbit 2023-10-10 13:53:03 +0200
  • abe11d6806
         fix(remappings): add trailing slash to OZ remapping (#26) r4bbit 2023-10-10 13:52:10 +0200
  • 1626e62fa5
         docs: add codecov badge to readme (#25) r4bbit 2023-10-10 13:51:50 +0200
  • 212200152a
         test(StakeManager): expand on deployment test r4bbit 2023-10-06 14:25:19 +0200
  • fbcd7b5e5e
         fix(remappings): add trailing slash to OZ remapping r4bbit 2023-10-06 14:14:05 +0200
  • ae1ba0c76d
         docs: add codecov badge to readme r4bbit 2023-10-06 14:02:42 +0200
  • 3180e9d89f Introducing the Aggeregate Estimation Logic fix/approx-agg-mp martin-xyz 2023-10-02 12:19:53 +0200
  • 85b170cb61 Normalizing MP APY to per second fix/mp-apy Martin Strobl 2023-09-27 14:10:18 +0200
  • e4085c3447 Add max lock limit of 4 years fix/lock-limit Martin Strobl 2023-09-27 13:57:42 +0200
  • b9782cfdf5
         chore: remove unused legacy snt deploy script (#19) r4bbit 2023-09-18 09:03:54 +0200
  • 8e16f5b315
         Merge pull request #7 from logos-co/fix/gha-badge Ricardo Guilherme Schmidt 2023-09-13 18:59:57 -0300
  • 4af5c5f02c
         Merge pull request #8 from logos-co/docs/pnpm-yarn Ricardo Guilherme Schmidt 2023-09-13 18:59:35 -0300
  • 1be464183e
         chore: remove unused legacy snt deploy script r4bbit 2023-09-13 10:54:10 +0200
  • a20d272e67
         docs: fix PR template to mention `pnpm` not `yarn` docs/pnpm-yarn r4bbit 2023-09-13 10:13:38 +0200
  • 60d007591f
         fix: make gha-badge point at the right repository fix/gha-badge r4bbit 2023-09-13 10:11:48 +0200
  • 2e7c5148b4
         refactor: migrate repository to foundry-template (#6) r4bbit 2023-09-12 18:37:30 +0200
  • d37ebd0b7a
         refactor: migrate repository to foundry-template refactor/foundry-template r4bbit 2023-09-08 15:10:00 +0200
  • 39071e49fe
         Merge pull request #4 from logos-co/fix-vault-constructor Ricardo Guilherme Schmidt 2023-08-24 12:08:51 -0300
  • 30a3887773 Highlighting issues martin_dev Martin Strobl 2023-08-21 17:52:50 +0900
  • f4573997b0
         Merge pull request #5 from logos-co/develop mart1n 2023-08-21 08:42:09 +0100
  • 0e95ca428f Vault's contract gets ERC20 and Manager as arguments fix-vault-constructor Frederico Teixeira 2023-08-21 08:21:59 +0200
  • 05969c2b48
         Merge pull request #3 from logos-co/fix-compiler-version Ricardo Guilherme Schmidt 2023-07-25 10:09:59 -0300
  • a84a7978a4
         add env example, fix hardhat conf Ricardo Guilherme Schmidt 2023-07-25 01:49:59 -0300