r4bbit 1d36256230 chore(certora): add invariant that proofs cant be missing when in period ...

This invariant verifies that any given proof cannot be marked as missing
if the slot period has not passed yet.

2024-08-13 09:39:29 +02:00

..

confs

chore: formally verify request state changes

2024-08-12 15:26:59 +02:00

harness

chore(certora): add invariant that proofs cant be missing when in period

2024-08-13 09:39:29 +02:00

helpers

Set up certora and implement first rules (#122)

2024-07-24 18:50:18 +02:00

specs

chore(certora): add invariant that proofs cant be missing when in period

2024-08-13 09:39:29 +02:00