Skip to content

Commit

Permalink
Merge pull request #27 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 81fcce5 + 7af4ac3 commit 9eb7b8a
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 25 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
+1 −1 src/Errors.sol
+26 −31 src/EthereumVaultConnector.sol
+1 −1 src/Events.sol
+1 −1 src/ExecutionContext.sol
+8 −4 src/Set.sol
+2 −2 src/TransientStorage.sol
+1 −1 src/interfaces/IERC1271.sol
+1 −1 src/interfaces/IEthereumVaultConnector.sol
+5 −2 src/interfaces/IVault.sol
+103 −29 src/utils/EVCUtil.sol
+18 −4 test/invariants/EthereumVaultConnector.t.sol
+56 −0 test/unit/EVCUtil/EVCUtil.t.sol
+99 −0 test/unit/EthereumVaultConnector/Call.t.sol
+1 −0 test/unit/EthereumVaultConnector/ControllersManagement.t.sol
+8 −14 test/unit/EthereumVaultConnector/Permit.t.sol
+6 −0 test/unit/EthereumVaultConnector/SetOperator.t.sol
+1 −1 test/unit/EthereumVaultConnector/SetPermitDisabledMode.t.sol
+4 −4 test/utils/mocks/Vault.sol

0 comments on commit 9eb7b8a

Please sign in to comment.