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
d18df07b28
refactor(StakeManager): make function names more descriptive
...
Some of the functions on our contracts were confusing.
This commit changes them so they describe what they actually do.
2024-06-20 15:48:27 -03:00
4f590049d4
chore(StakeVault.spec): add rule to verify account and vault balance
2024-03-07 19:40:21 +01:00
2343213e0d
chore(StakeVault.spec): comment out purposefully failing rule
...
This rule is only used for debugging purposes and serves no function for
production formal verification. Hence we're commenting it out.
2024-03-05 10:21:26 -03:00
14248a285b
chore: certora setup for stakemanager and vault
2024-02-20 09:04:23 +01:00
r4bbit
Nurit Dor