Skip to content
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

Update dependencies #23

Merged
merged 1 commit into from
May 20, 2024
Merged

Update dependencies #23

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
2 changes: 1 addition & 1 deletion lib/ethereum-vault-connector
Open in desktop
Submodule ethereum-vault-connector updated 43 files
+1 −1 .github/workflows/checkrules.yml
+67 −28 .github/workflows/test.yml
+0 −19 .solhint.json
+ − audits/Euler ChainSecurity report.pdf
+ − audits/Euler Omniscia report.pdf
+ − audits/Euler OpenZeppelin report.pdf
+ − audits/Euler Spearbit report.pdf
+ − audits/Euler yAudit report (EVC + EVK + Price Oracle).pdf
+ − audits/Euler yAudit report (EVC).pdf
+2 −1 certora/conf/CER-1-Owner/CER-59-Owner-override.conf
+2 −1 certora/conf/CER-11-Controllers/CER-12-Controllers-number.conf
+2 −1 certora/conf/CER-15-Permit/CER-65-Permit-onBehalfOfAccount.conf
+2 −1 certora/conf/CER-2-Operator/CER-52-Operator-deauthorization.conf
+2 −1 certora/conf/CER-2-Operator/CER-68-Operator-authorization.conf
+2 −1 certora/conf/CER-27-ExecutionContext/CER-38-ExecutionContext-restored.conf
+2 −1 certora/conf/CER-44-VaultStatusCheck/CER-78-VaultStatusCheck-scheduling.conf
+2 −1 certora/conf/misc/MustRevertFunctions.conf
+1 −1 certora/harness/EthereumVaultConnectorHarness.sol
+2 −2 certora/specs/CER-11-Controllers/CER-12-Controllers-number.spec
+2 −1 certora/specs/CER-27-ExecutionContext/CER-38-ExecutionContext-restored.spec
+2 −5 certora/specs/CER-40-AccountStatusCheck/CER-41-AccountStatusCheck-OnlyOne.spec
+1 −2 certora/specs/CER-40-AccountStatusCheck/CER-42-AccountStatusCheck-NoController.spec
+2 −2 certora/specs/utils/IsLowLevelCallFunction.spec
+0 −1 certora/specs/utils/IsMustRevertFunction.spec
+103 −0 docs/specs.md
+17 −0 docs/whitepaper.md
+106 −58 src/EthereumVaultConnector.sol
+0 −1 src/ExecutionContext.sol
+32 −3 src/Set.sol
+25 −11 src/interfaces/IEthereumVaultConnector.sol
+11 −1 src/utils/EVCUtil.sol
+2 −0 test/evc/EthereumVaultConnectorHarness.sol
+12 −3 test/evc/EthereumVaultConnectorScribble.sol
+16 −24 test/invariants/EthereumVaultConnector.t.sol
+6 −0 test/unit/EVCUtil/EVCUtil.t.sol
+30 −1 test/unit/EthereumVaultConnector/AccountAndVaultStatus.t.sol
+28 −2 test/unit/EthereumVaultConnector/AccountStatus.t.sol
+16 −0 test/unit/EthereumVaultConnector/POC.t.sol
+1 −0 test/unit/EthereumVaultConnector/Permit.t.sol
+5 −4 test/unit/EthereumVaultConnector/Receive.t.sol
+4 −4 test/unit/EthereumVaultConnector/SetPermitDisabledMode.t.sol
+6 −0 test/unit/Set/Set.t.sol
+30 −4 test/utils/mocks/Vault.sol
2 changes: 1 addition & 1 deletion lib/forge-std
Open in desktop
Submodule forge-std updated 10 files
+6 −12 .github/workflows/ci.yml
+3 −1 .github/workflows/sync.yml
+1 −1 package.json
+3 −1 src/StdChains.sol
+9 −3 src/StdInvariant.sol
+1 −1 src/StdUtils.sol
+113 −6 src/Vm.sol
+1 −5 src/mocks/MockERC721.sol
+3 −1 test/StdChains.t.sol
+2 −2 test/Vm.t.sol
2 changes: 1 addition & 1 deletion lib/openzeppelin-contracts
Open in desktop
Submodule openzeppelin-contracts updated 18 files
+5 −0 .changeset/chilly-humans-warn.md
+5 −0 .changeset/cold-cheetahs-check.md
+5 −0 .changeset/spotty-falcons-explain.md
+4 −4 .github/workflows/checks.yml
+1 −1 .github/workflows/formal-verification.yml
+2 −0 contracts/mocks/Stateless.sol
+4 −4 contracts/proxy/transparent/ProxyAdmin.sol
+3 −0 contracts/utils/Arrays.sol
+3 −0 contracts/utils/README.adoc
+22 −6 contracts/utils/math/Math.sol
+20 −2 contracts/utils/math/SignedMath.sol
+130 −0 contracts/utils/structs/CircularBuffer.sol
+1 −0 scripts/generate/templates/Arrays.js
+1 −1 test/governance/Governor.t.sol
+2 −2 test/governance/extensions/GovernorVotesQuorumFraction.test.js
+10 −0 test/utils/math/Math.t.sol
+10 −0 test/utils/math/SignedMath.t.sol
+79 −0 test/utils/structs/CircularBuffer.test.js
Loading