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

proper-specs

4ce5060347 · feat(certora): Add StakeMath.conf · Updated 2024-11-25 15:24:29 +00:00
0
4
 ZIP  TAR.GZ
stake-manager-interface

c3e89a1a75 · fix(certora/specs): Make rules work again · Updated 2024-11-15 05:22:56 +00:00
13
13
 ZIP  TAR.GZ
remove-mintBonusMP-function

e5d9a451e7 · fix(specs): make `sumOfMultiplierPointsIsMultiplierpoints` work again · Updated 2024-10-12 20:38:44 +00:00
18
5
 ZIP  TAR.GZ
extract/max-mp-rule

31488ce7f4 · try with standard server instead · Updated 2024-10-08 12:05:46 +00:00
20
2
 ZIP  TAR.GZ
improve-stake-vault

2f1c8feb1c · chore(StakeVault): add important comment about STAKED_TOKEN being immutable · Updated 2024-10-03 03:19:55 +00:00
22
2
 ZIP  TAR.GZ
improve-executeEpoch

23fa256f21 · refactor(StakeManager): remove unused startTime field in Epoch struct and optimize epoch finalization and execution · Updated 2024-10-03 02:10:14 +00:00
21
1
 ZIP  TAR.GZ
analyze-prover-behavior

ac4945cb5c · refactor(StakeManager): change finalizeEpoch to write epoch all at once · Updated 2024-09-30 18:01:32 +00:00
22
1
 ZIP  TAR.GZ
split-account-header-body

b9a83c9d61 · Refactor(StakeManager) remove unused Account struct · Updated 2024-09-29 20:49:07 +00:00
22
6
 ZIP  TAR.GZ
abstract-mp-math

34fe48d919 · WIP · Updated 2024-09-28 23:01:34 +00:00
22
4
 ZIP  TAR.GZ
abstract-codehash-access

795e76279a · refactor(StakeManager): Abstact out codehash verification to better code reusability · Updated 2024-09-28 18:21:43 +00:00
22
1
 ZIP  TAR.GZ
fix-epochStartTime

3dd28749bf · refactor(StakeManager): replace epoch.startTime with a global startTime · Updated 2024-09-26 18:36:40 +00:00
25
3
 ZIP  TAR.GZ
improve-executeFunctions

9a4e3f4607 · refactor(StakeManager): replace epoch.startTime with a global startTime · Updated 2024-09-25 16:33:47 +00:00
25
3
 ZIP  TAR.GZ
make-reports-deterministic

28305cd550 · chore(test): fix fuzzing function to properly test whats suppoused to and make it deterministic in amount of calls · Updated 2024-09-25 11:22:16 +00:00
26
1
 ZIP  TAR.GZ
add-details-README

4e10291c37 · chore: improve comments and documentation in README.md · Updated 2024-09-25 09:43:46 +00:00
27
1
 ZIP  TAR.GZ
update-project

2a47e2aa75 · chore: improve details on README.md · Updated 2024-09-25 09:39:11 +00:00
29
3
 ZIP  TAR.GZ
3esmit/issue125

e20e931728 · chore(foundry.toml): update fuzzing settings · Updated 2024-09-23 05:10:01 +00:00
30
1
 ZIP  TAR.GZ
update-gas-report

dcc44813f4 · chore(.gas-report, .gas-snapshot): update reports · Updated 2024-09-19 13:35:45 +00:00
31
1
 ZIP  TAR.GZ
refactor/specs

33e2ff048b · refactor(certora): introduce shared.spec to reuse helper functions · Updated 2024-09-17 11:54:01 +00:00
32
1
 ZIP  TAR.GZ
3esmit/issue111

a271720ae6 · fix(StakeManager): change order of call of mintBonusMP to fix intended behavior. · Updated 2024-09-12 05:35:02 +00:00
34
2
 ZIP  TAR.GZ
optimize-process-account

d8b48b7c5e · feat(StakeManager): optimizations on processAccount · Updated 2024-09-11 14:56:03 +00:00
35
1
 ZIP  TAR.GZ