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
r4bbit	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