Skip to content

Remove Middleware from Core #260

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 14 commits into from
Oct 24, 2023
Merged

Remove Middleware from Core #260

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
8222759
remove middleware from core
Oct 18, 2023
bb1e27d
remove go files from ffi
Oct 18, 2023
d004fcd
use stub
Oct 19, 2023
952cc28
delete Prover rules for `BLSRegistryCoordinatorWithIndices` (#261)
ChaoticWalrus Oct 19, 2023
2af01ab
add weird fix
Oct 19, 2023
209e6c8
merge conflicts
Oct 19, 2023
fd5749a
merge main
Oct 20, 2023
4d26643
move stub to mocks
Oct 20, 2023
f104e32
remove additional interfaces from imports
Oct 20, 2023
2383d82
resolve merge conflicts use stub for StakeRegistry in withdrawal tests
Oct 20, 2023
888ee9f
port over alexs interface change
Oct 20, 2023
ba386b0
add back whitelister
Oct 20, 2023
443c2e9
add back script per PR comment
Oct 20, 2023
81372aa
merge master
Oct 24, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
54 changes: 0 additions & 54 deletions certora/harnesses/BLSRegistryCoordinatorWithIndicesHarness.sol
View file
Open in desktop

This file was deleted.

21 changes: 0 additions & 21 deletions certora/scripts/middleware/verifyBLSRegistryCoordinatorWithIndices.sh
View file
Open in desktop

This file was deleted.

169 changes: 0 additions & 169 deletions certora/specs/middleware/BLSRegistryCoordinatorWithIndices.spec
View file
Open in desktop

This file was deleted.

12 changes: 0 additions & 12 deletions go.mod
View file
Open in desktop

This file was deleted.

14 changes: 0 additions & 14 deletions go.sum
View file
Open in desktop

This file was deleted.

Loading