logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
169 Commits 77 Branches 0 Tags 2.8 MiB

Default Branch

develop

99c73be3c4 · fix(certora/specs): Make rules work again · Updated 2024-11-15 05:40:11 +00:00
 ZIP  TAR.GZ

Branches

chore/more-mp-invariants

8746d36322 · chore(StakeManager.spec): add certora invariants for multiplierPoints · Updated 2024-03-11 11:08:07 +00:00
66
1
 ZIP  TAR.GZ
chore/verify-account-vault-balance

598a0f3ebc · chore(StakeVault.spec): add rule to verify account and vault balance · Updated 2024-03-07 18:27:10 +00:00
67
1
 ZIP  TAR.GZ
fix/certora-fixes

0566bd9faa · fix(StakeManager.spec): use filtered invariants for vacuous rules · Updated 2024-03-05 08:52:40 +00:00
77
10
 ZIP  TAR.GZ
chore/certora-setup

1f712616be · chore: add cerora rules for `stakeSupply` ghost rule · Updated 2024-03-01 19:18:29 +00:00
94
2
 ZIP  TAR.GZ
fix/current-contract

507cbcb0fb · fix(StakeManager): don't allow migration initialization while migrating · Updated 2024-03-01 19:01:27 +00:00
79
5
 ZIP  TAR.GZ
chore/certora-rule-comment

450831a613 · fix(Certora specs): ensure prover runs rules on `currentContract` · Updated 2024-03-01 18:42:09 +00:00
79
4
 ZIP  TAR.GZ
fix/certora-compile

75b3f650fe · chore(Certora specs): comment out purposefully failing rule · Updated 2024-03-01 18:31:58 +00:00
79
3
 ZIP  TAR.GZ
fix/certora-specs

235b347c33 · fix(StakeManager): don't allow migration initialization while migrating · Updated 2024-03-01 12:40:11 +00:00
79
5
 ZIP  TAR.GZ
fix/certora-all

0b97125dae · WIP · Updated 2024-03-01 11:19:52 +00:00
79
6
 ZIP  TAR.GZ
feat/stakemanager-deployscript

a860f8f414 · feat(script): add deployment script for new `StakeManager`s · Updated 2024-02-28 12:59:08 +00:00
81
1
 ZIP  TAR.GZ
chore/add-release-capabilities

ec7a0be5f9 · chore: add release command · Updated 2024-02-28 11:52:36 +00:00
81
1
 ZIP  TAR.GZ
fix-precision-loss-2

1547d84ea9 · fix(StakeManager): use mul by PRECISION and div back later to avoid precision loss in int divisions · Updated 2024-02-24 19:41:52 +00:00
85
4
 ZIP  TAR.GZ
fix-precision-loss

ecc6271c1f · fix(StakeManager): use OpenZeppelin Math to avoid precision loss in int divisions · Updated 2024-02-24 19:39:38 +00:00
85
4
 ZIP  TAR.GZ
3esmit/issue62

ac8490dd89 · refactor(StakeManager): change MIN_LOCKUP_PERIOD to 2 weeks · Updated 2024-02-23 14:54:42 +00:00
86
1
 ZIP  TAR.GZ
refactor-mp-logic

771b8b8fa4 · chore(StakeManager): mark TODOs on division precision loss · Updated 2024-02-22 22:28:12 +00:00
92
5
 ZIP  TAR.GZ
3esmit/issue51

10b3a2f05d · lint · Updated 2024-02-22 21:47:04 +00:00
92
6
 ZIP  TAR.GZ
chore/workflow-fix

7c1f64b359 · chore(workflows): add-pr-to-project-board only trigger on `opened` · Updated 2024-02-20 10:37:13 +00:00
93
1
 ZIP  TAR.GZ
fix-migration

f433dcd628 · fix: StakeManager migration fixes and certora rules · Updated 2024-02-19 19:36:21 +00:00
94
5
 ZIP  TAR.GZ
chore/multiplier-point-invariant

c05dff9b6c · chore(StakeManager.spec): add invariant `sumOfMultiplierPoints` · Updated 2024-02-19 19:20:17 +00:00
94
3
 ZIP  TAR.GZ
chore/stakesupply-rule

a0585d98e2 · chore: add cerora rules for `stakeSupply` ghost rule · Updated 2024-02-19 19:20:17 +00:00
94
2
 ZIP  TAR.GZ