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 76 Branches 0 Tags 2.7 MiB
Commit Graph

12 Commits

Author SHA1 Message Date
Ricardo Guilherme Schmidt 520e4f8aec chore(certora/confs): lint files 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt 5bc7b564e8 choe(MaxMPRule.conf): remove args and settings 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt 377f01903f chore(cerotra/spec): fix rules 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt 173ce9b15a Update specs and interface 2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt 365551b18e refactor(StakeManager): extract interfaces and rename variables to merge functionalty with StakingRewardStreamer 2024-11-15 02:40:11 -03:00
r4bbit 9face30b63 try with standard server instead 2024-10-08 10:14:20 -03:00
r4bbit 7581c2a079 refactor(certora): move rule about MP not greater than max MP into own 
spec

This is necessary because we need to run this rule on a custom config to
avoid timeouts.
 2024-10-08 10:14:20 -03:00
Ricardo Guilherme Schmidt b6a95e3572 refactor(StakeManager): Abstact out codehash verification to better code reusability 
chore(StakeManager): move out storage contract and rename it
 2024-10-02 23:06:57 -03:00
r4bbit 5dec595a20 feat(StakeManager): implement multiplier points estimation 
This commit introduces the internal accounting logic for accrueing
multiplier points, that will later be used to determine how many
experience points an account is eligible to.

The majority of the work here was done by @3esmit.
 2024-09-10 08:51:35 +02:00
r4bbit 70b092ab00 chore(StakeManagerProcessAccount.spec): add specs for processAccount 
This primarily adds a rule that ensures that, when an account's
`balance` changes, `_processAccount()` must have been called as well.

There's very few exceptions where an account's `balance` can change
without the need of `_processAccount()` but those functions have been
deliberately excluded from the rule.
 2024-03-18 11:44:51 +01:00
Ricardo Guilherme Schmidt 03bc6559ae fix: StakeManager migration fixes and certora rules 2024-02-20 09:08:00 +01:00
Nurit Dor 14248a285b chore: certora setup for stakemanager and vault 2024-02-20 09:04:23 +01:00