Layr-Labs · 8sunyuan · May 30, 2024 · May 29, 2024 · May 29, 2024 · May 29, 2024
diff --git a/certora/specs/pods/EigenPod.spec b/certora/specs/pods/EigenPod.spec
@@ -33,7 +33,6 @@ methods {
     function _.addShares(address,address,uint256) external => DISPATCHER(true);
     function _.removeShares(address,address,uint256) external => DISPATCHER(true);
     function _.withdrawSharesAsTokens(address, address, uint256, address) external => DISPATCHER(true);
-    function _.migrateQueuedWithdrawal(IStrategyManager.DeprecatedStruct_QueuedWithdrawal) external => NONDET;
 
     // external calls to Strategy contracts
     function _.deposit(address, uint256) external => NONDET;

diff --git a/pkg/bindings/AVSDirectory/binding.go b/pkg/bindings/AVSDirectory/binding.go
diff --git a/pkg/bindings/BackingEigen/binding.go b/pkg/bindings/BackingEigen/binding.go
diff --git a/pkg/bindings/BeaconChainProofs/binding.go b/pkg/bindings/BeaconChainProofs/binding.go
diff --git a/pkg/bindings/BytesLib/binding.go b/pkg/bindings/BytesLib/binding.go
diff --git a/pkg/bindings/DelayedWithdrawalRouter/binding.go b/pkg/bindings/DelayedWithdrawalRouter/binding.go
diff --git a/pkg/bindings/DelegationManager/binding.go b/pkg/bindings/DelegationManager/binding.go
diff --git a/pkg/bindings/DelegationManagerStorage/binding.go b/pkg/bindings/DelegationManagerStorage/binding.go
diff --git a/pkg/bindings/EIP1271SignatureUtils/binding.go b/pkg/bindings/EIP1271SignatureUtils/binding.go
diff --git a/pkg/bindings/Eigen/binding.go b/pkg/bindings/Eigen/binding.go
diff --git a/pkg/bindings/EigenPod/binding.go b/pkg/bindings/EigenPod/binding.go
diff --git a/pkg/bindings/EigenPodManager/binding.go b/pkg/bindings/EigenPodManager/binding.go
diff --git a/pkg/bindings/EigenStrategy/binding.go b/pkg/bindings/EigenStrategy/binding.go
diff --git a/pkg/bindings/Endian/binding.go b/pkg/bindings/Endian/binding.go
diff --git a/pkg/bindings/IDelegationManager/binding.go b/pkg/bindings/IDelegationManager/binding.go
diff --git a/pkg/bindings/IStrategyManager/binding.go b/pkg/bindings/IStrategyManager/binding.go
diff --git a/pkg/bindings/Merkle/binding.go b/pkg/bindings/Merkle/binding.go
diff --git a/pkg/bindings/Pausable/binding.go b/pkg/bindings/Pausable/binding.go