Commit 9cfbd05
1 file changed
+1
-1
lines changedSubmodule ethereum-vault-connector updated 56 files
- .github/executables/solc+1-1
- .github/executables/solc8.24
- .github/workflows/checkrules.yml+1-1
- .github/workflows/test.yml+1-1
- README.md-2
- audits/Euler Cantina Code Competition report.pdf
- audits/Euler ChainSecurity report.pdf
- audits/Euler yAudit Code Competition Fixes report.pdf
- certora/conf/CER-1-Owner/CER-59-Owner-override.conf+2-2
- certora/conf/CER-1-Owner/CER-60-Owner-addressPrefix.conf+2-2
- certora/conf/CER-11-Controllers/CER-12-Controllers-number.conf+1-1
- certora/conf/CER-11-Controllers/CER-56-Controllers-disabling.conf+1-1
- certora/conf/CER-11-Controllers/CER-81-Controllers-restrictions.conf+1-1
- certora/conf/CER-15-Permit/CER-51-Permit-msg-sender.conf+1-1
- certora/conf/CER-15-Permit/CER-65-Permit-onBehalfOfAccount.conf+1-1
- certora/conf/CER-2-Operator/CER-52-Operator-deauthorization.conf+1-1
- certora/conf/CER-2-Operator/CER-54-Operator-owner.conf+1-1
- certora/conf/CER-2-Operator/CER-62-Operator-setAccountOperator.conf+1-1
- certora/conf/CER-2-Operator/CER-68-Operator-authorization.conf+1-1
- certora/conf/CER-20-ChecksDeferrable/CER-22-ChecksDeferrable-controlCollateral.conf+1-1
- certora/conf/CER-20-ChecksDeferrable/CER-23-ChecksDeferrable-callbatch-callback.conf+17
- certora/conf/CER-27-ExecutionContext/CER-32-ExecutionContext-checksDeferred.conf+1-1
- certora/conf/CER-27-ExecutionContext/CER-33-ExecutionContext-onBehalfOfAccount.conf+1-1
- certora/conf/CER-27-ExecutionContext/CER-38-ExecutionContext-restored.conf+1-1
- certora/conf/CER-40-AccountStatusCheck/CER-326-checkStatusAll-called.conf+15
- certora/conf/CER-40-AccountStatusCheck/CER-41-AccountStatusCheck-OnlyOne.conf+1-1
- certora/conf/CER-40-AccountStatusCheck/CER-42-AccountStatusCheck-NoController.conf+1-1
- certora/conf/CER-44-VaultStatusCheck/CER-78-VaultStatusCheck-scheduling.conf+1-1
- certora/conf/CER-83-Set.conf+11-2
- certora/conf/misc/ExecutionContext.conf+1-1
- certora/conf/misc/MustRevertFunctions.conf+1-1
- certora/harness/EthereumVaultConnectorHarness.sol+8-3
- certora/harness/ExecutionContextHarness.sol-2
- certora/harness/SetHarness.sol+4-15
- certora/scripts/rerun_all_confs.sh
- certora/specs/CER-15-Permit/CER-51-Permit-msg-sender.spec+1-1
- certora/specs/CER-2-Operator/CER-52-Operator-deauthorization.spec+3
- certora/specs/CER-2-Operator/CER-54-Operator-owner.spec+2
- certora/specs/CER-2-Operator/CER-68-Operator-authorization.spec+7
- certora/specs/CER-20-ChecksDeferrable/CER-23-ChecksDeferrable-callbatch-callback.spec+40
- certora/specs/CER-40-AccountStatusCheck/CER-326-checkStatusAll-called.spec+42
- certora/specs/CER-83-Set.spec+56-125
- docs/specs.md+1-1
- docs/whitepaper.md+2-4
- script/01_Deployment.s.sol-29
- src/EthereumVaultConnector.sol+28-30
- src/Set.sol+7-3
- src/TransientStorage.sol+1-1
- src/interfaces/IVault.sol+4-1
- src/utils/EVCUtil.sol+108-43
- test/unit/EVCUtil/EVCUtil.t.sol+95-1
- test/unit/EthereumVaultConnector/Call.t.sol+99
- test/unit/EthereumVaultConnector/ControllersManagement.t.sol+1
- test/unit/EthereumVaultConnector/Permit.t.sol+67-28
- test/unit/EthereumVaultConnector/SetOperator.t.sol+6
- test/utils/mocks/Vault.sol+4-4
0 commit comments