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

Default Branch

develop

769f32f718 · refactor(StakeManager): replace epoch.startTime with a global startTime · Updated 2024-09-26 18:41:35 +00:00
 ZIP  TAR.GZ

Branches

mp-estimate-console-log

1254d2c8cc · add console.log to follow MPs generation · Updated 2024-08-09 19:02:30 +00:00
24
19
 ZIP  TAR.GZ
feat/deposit-cooldown-period

2b33c994fa · WIP · Updated 2024-07-01 12:40:02 +00:00
24
1
 ZIP  TAR.GZ
refactor/mp-rename

44d0051675 · refactor(StakeManager): initialMP -> bonusMP, currentMP -> totalMP · Updated 2024-06-25 10:48:23 +00:00
25
1
 ZIP  TAR.GZ
fix/lock-init-mp

0bf544d740 · fix(StakeManager): initial MP should not increase when locking · Updated 2024-06-19 12:47:28 +00:00
26
2
 ZIP  TAR.GZ
refactor/better-fn-names

3c4c4638bb · refactor(StakeManager): make function names more descriptive · Updated 2024-06-19 10:00:13 +00:00
26
1
 ZIP  TAR.GZ
ci/certora-concurrent

067781819f · refactor(certora): use CI matrix for verification jobs · Updated 2024-03-25 14:11:28 +00:00
28
1
 ZIP  TAR.GZ
improve-tests

7d1e1ba5d0 · chore(StakeManager.t): tests for restake and relock · Updated 2024-03-13 13:57:24 +00:00
37
8
 ZIP  TAR.GZ
chore/process-account-specs

9f3df7bb24 · chore(StakeManagerProcessAccount.spec): add specs for processAccount · Updated 2024-03-13 11:36:58 +00:00
37
1
 ZIP  TAR.GZ
spec/1to1ratio

1632e08f83 · chore(StakeManager.spec): add rule to ensure MP 1to1 ratio · Updated 2024-03-12 16:17:18 +00:00
38
1
 ZIP  TAR.GZ
fix-locking

825ea028a9 · fix(StakeManager): lock function checks for MIN_LOCKUP_PERIOD · Updated 2024-03-11 19:35:42 +00:00
44
3
 ZIP  TAR.GZ
fix/max-mp

8afa4f3ac9 · chore(StakeManager.spec): add MPCantBeGreaterThanMaxMP invariant · Updated 2024-03-11 14:21:54 +00:00
44
1
 ZIP  TAR.GZ
chore/more-mp-invariants

8746d36322 · chore(StakeManager.spec): add certora invariants for multiplierPoints · Updated 2024-03-11 11:08:07 +00:00
44
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
45
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
55
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
72
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
57
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
57
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
57
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
57
5
 ZIP  TAR.GZ
fix/certora-all

0b97125dae · WIP · Updated 2024-03-01 11:19:52 +00:00
57
6
 ZIP  TAR.GZ