0b39274ed5
refactor(certora): extract `allowedRequestStateChanges` rule into own
...
file
Closes #192
2024-10-21 15:36:29 +02:00
92ab1e50dd
chore(certora): set MarketplaceHarness as parametric_contract config value
2024-08-19 14:07:05 +02:00
2e3f775a0d
chore: formally verify request state changes
...
This commit adds CVL rule that formally verifies the state changes of
any given request in relation to the functions of the contract that can
cause them.
Closes #128
2024-08-12 15:26:59 +02:00
688a8ed929
Set up certora and implement first rules ( #122 )
...
Co-authored-by: 0xb337r007 <0xe4e5@proton.me>
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
2024-07-24 18:50:18 +02:00
r4bbit
Andrea Franz