logos-storage/logos-storage-contracts-eth
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-contracts-eth.git synced 2026-08-25 10:01:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
485 Commits 33 Branches 0 Tags
feat/decrease-period-for-proofs-on-new-thread
Commit Graph
4 Commits
Author SHA1 Message Date
r4bbit 0b39274ed5 refactor(certora): extract allowedRequestStateChanges rule into own 
file

Closes #192
 2024-10-21 15:36:29 +02:00
Andrea Franz 92ab1e50dd chore(certora): set MarketplaceHarness as parametric_contract config value 2024-08-19 14:07:05 +02:00
r4bbit 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
r4bbit0xb337r007Adam Uhlíř
 		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