Merge pull request #23 from euler-xyz/update-dependencies

Update dependencies
euler-xyz · May 20, 2024 · 66aafcd · 66aafcd
2 parents ce18f6e + 3d472d5
commit 66aafcd
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/lib/ethereum-vault-connector b/lib/ethereum-vault-connector
diff --git a/lib/forge-std b/lib/forge-std
diff --git a/lib/openzeppelin-contracts b/lib/openzeppelin-contracts
+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
+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
+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