issues
search
logos-co
/
staking
SNT Staking contracts
Creative Commons Zero v1.0 Universal
0
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
EPIC: Multiplier points calculation
#100
0x-r4bbit
opened
1 week ago
0
Remove functionality to add additional stake into existing vault
#99
0x-r4bbit
opened
1 week ago
0
Ensure multiplier points calculation is preserved across migrations
#98
0x-r4bbit
opened
1 week ago
0
WIP: MP estimation logic
#97
0x-r4bbit
opened
2 weeks ago
0
chore(ci): update certora CLI in CI
#96
0x-r4bbit
closed
2 weeks ago
0
refactor(StakeManager): initialMP -> bonusMP, currentMP -> totalMP
#95
0x-r4bbit
closed
1 month ago
0
fix(StakeManager): initial MP should not increase when locking
#94
0x-r4bbit
closed
1 month ago
3
refactor(StakeManager): make function names more descriptive
#93
0x-r4bbit
closed
2 months ago
0
WIP: Implement deposit and withdraw cooldown period
#92
0x-r4bbit
opened
3 months ago
1
Epoch `totalSupply` is not properly updated retroactively
#91
0x-r4bbit
opened
4 months ago
2
refactor(certora): use CI matrix for verification jobs
#90
0x-r4bbit
closed
4 months ago
0
chore(certora): upgrade certora-cli to 7.0.7
#89
0x-r4bbit
closed
5 months ago
0
Fill out missing tests
#88
0x-r4bbit
opened
5 months ago
0
Share common certora utility functions and helpers across spec files
#87
0x-r4bbit
opened
5 months ago
0
chore(StakeManager.spec): add rule to ensure MP 1to1 ratio
#86
0x-r4bbit
closed
5 months ago
0
chore(StakeManager.spec): add invariant greater lock time -> more MPs
#85
0x-r4bbit
closed
5 months ago
0
Fix locking
#84
3esmit
closed
5 months ago
0
Decide on whether or not to combine initial and bonus multiplier points in max MP calculation
#83
0x-r4bbit
closed
1 week ago
4
chore(StakeManager.spec): add two more MP related invariants
#82
0x-r4bbit
closed
5 months ago
0
chore(StakeManager.spec): add MPCantBeGreaterThanMaxMP invariant
#81
0x-r4bbit
closed
5 months ago
0
"MultiplierPoints can't be greater than maximum Multiplierpoints" invariant does not hold
#80
0x-r4bbit
closed
5 months ago
2
Lock and Stake _time parameter is confusing
#79
3esmit
closed
5 months ago
3
Fix/certora fixes
#78
0x-r4bbit
closed
5 months ago
0
Make the prover pass on CI
#77
0x-r4bbit
closed
5 months ago
0
fix(StakeManager): don't allow migration initialization while migrating
#76
0x-r4bbit
closed
5 months ago
1
fix(Certora specs): ensure prover runs rules on `currentContract`
#75
0x-r4bbit
closed
5 months ago
0
chore(Certora specs): comment out purposefully failing rule
#74
0x-r4bbit
closed
5 months ago
0
fix(Certora specs): make specs compile again
#73
0x-r4bbit
closed
5 months ago
0
feat(script): add deployment script for new `StakeManager`s
#72
0x-r4bbit
closed
5 months ago
0
Introduce deploy script for stakemanager migration
#71
0x-r4bbit
closed
5 months ago
0
chore: add release command
#70
0x-r4bbit
closed
5 months ago
0
chore: improve coverage
#69
3esmit
closed
5 months ago
2
Add tests to improve coverage of existing functionality
#68
3esmit
closed
5 months ago
1
fix(StakeManager): use mul by PRECISION and div back later to avoid precision loss in int divisions
#67
3esmit
closed
5 months ago
0
fix(StakeManager): use OpenZeppelin Math to avoid precision loss in int divisions
#66
3esmit
closed
5 months ago
3
refactor(StakeManager): change MIN_LOCKUP_PERIOD to 2 weeks
#65
3esmit
closed
6 months ago
0
Fix division precision loss
#64
3esmit
closed
5 months ago
4
refactor(StakeManager): refactor multiplier points logic
#63
3esmit
closed
6 months ago
1
Set `MIN_LOCKUP_PERIOD` to 2 weeks
#62
0x-r4bbit
closed
6 months ago
0
Migration system does not support more than one migration
#61
3esmit
opened
6 months ago
1
chore(workflows): add-pr-to-project-board only trigger on `opened`
#60
0x-r4bbit
closed
6 months ago
0
fix: StakeManager migration fixes and certora rules
#59
0x-r4bbit
closed
6 months ago
1
chore(StakeManager.spec): add certora invariants for multiplierPoints
#58
0x-r4bbit
closed
5 months ago
1
chore(StakeManagerProcessAccount.spec): add specs for processAccount
#57
0x-r4bbit
closed
5 months ago
2
chore(StakeVault.spec): add rule to verify account and vault balance
#56
0x-r4bbit
closed
5 months ago
1
chore(StakeManager.spec): add invariant `sumOfMultiplierPoints`
#55
0x-r4bbit
closed
5 months ago
2
chore: add cerora rules for `stakeSupply` ghost rule
#54
0x-r4bbit
closed
5 months ago
1
chore: certora setup for stakemanager and vault
#53
0x-r4bbit
closed
6 months ago
1
Refactor Initial Multiplier Logic
#52
3esmit
closed
6 months ago
7
The multiplier point logic is confusing and wrong
#51
3esmit
closed
6 months ago
1
Next