delete Prover rules for BLSRegistryCoordinatorWithIndices (#261)

these are getting migrated to a separate repo
Layr-Labs · Oct 19, 2023 · 952cc28 · 952cc28
1 parent d004fcd
commit 952cc28
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 244 deletions.
diff --git a/certora/harnesses/BLSRegistryCoordinatorWithIndicesHarness.sol b/certora/harnesses/BLSRegistryCoordinatorWithIndicesHarness.sol
diff --git a/certora/scripts/middleware/verifyBLSRegistryCoordinatorWithIndices.sh b/certora/scripts/middleware/verifyBLSRegistryCoordinatorWithIndices.sh
diff --git a/certora/specs/middleware/BLSRegistryCoordinatorWithIndices.spec b/certora/specs/middleware/BLSRegistryCoordinatorWithIndices.spec