Ricardo Guilherme Schmidt cb81a7609c refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries		2024-11-25 12:24:09 -03:00
..
definition	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
math	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
token	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
EpochMath.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
IStakeManager.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
MaxMPRule.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
MultiplierPointsMathSummarized.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
StakeManager.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
StakeManagerProcessAccount.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
StakeManagerStartMigration.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
StakeMath.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00
StakeVault.spec	refactor(certora): Reorganize files, add proper descriptions, fix conf files and add summaries	2024-11-25 12:24:09 -03:00