Skip to content

Commit

Permalink
Merge pull request #271 from euler-xyz/update-evc-submodule
Browse files Browse the repository at this point in the history 
update EVC submodule
  • Loading branch information
@hoytech
hoytech authored Aug 14, 2024
2 parents 2940873 + a8232f2 commit 9e3c760
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/ethereum-vault-connector
Submodule ethereum-vault-connector updated 17 files
+17 −0 certora/conf/CER-20-ChecksDeferrable/CER-23-ChecksDeferrable-callbatch-callback.conf
+15 −0 certora/conf/CER-40-AccountStatusCheck/CER-326-checkStatusAll-called.conf
+5 −3 certora/harness/EthereumVaultConnectorHarness.sol
+40 −0 certora/specs/CER-20-ChecksDeferrable/CER-23-ChecksDeferrable-callbatch-callback.spec
+42 −0 certora/specs/CER-40-AccountStatusCheck/CER-326-checkStatusAll-called.spec
+1 −1 docs/specs.md
+2 −4 docs/whitepaper.md
+24 −29 src/EthereumVaultConnector.sol
+7 −3 src/Set.sol
+1 −1 src/TransientStorage.sol
+4 −1 src/interfaces/IVault.sol
+86 −42 src/utils/EVCUtil.sol
+99 −0 test/unit/EthereumVaultConnector/Call.t.sol
+1 −0 test/unit/EthereumVaultConnector/ControllersManagement.t.sol
+7 −14 test/unit/EthereumVaultConnector/Permit.t.sol
+6 −0 test/unit/EthereumVaultConnector/SetOperator.t.sol
+4 −4 test/utils/mocks/Vault.sol

0 comments on commit 9e3c760

Please sign in to comment.