r4bbit 0b39274ed5 refactor(certora): extract `allowedRequestStateChanges` rule into own ... file Closes #192		2024-10-21 15:36:29 +02:00
..
confs	refactor(certora): extract `allowedRequestStateChanges` rule into own	2024-10-21 15:36:29 +02:00
harness	chore(certora): verify possible slot state transitions	2024-09-30 12:53:06 +02:00
helpers	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
specs	refactor(certora): extract `allowedRequestStateChanges` rule into own	2024-10-21 15:36:29 +02:00