├── .github ├── CODEOWNERS └── workflows │ └── test.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── SECURITY.md ├── audits ├── Cantina_competition_report.pdf ├── Certora_EVK_report.pdf ├── ChainSecurity_EVK_report.pdf ├── Electisec_setLTV_report.pdf ├── EnigmaDark_EVK_report.pdf ├── M4rio.eth_setLTV_report.pdf ├── Omniscia_EVK_report.pdf ├── OpenZeppelin_EVK_report.pdf ├── OpenZeppelin_Synths_report.pdf ├── Spearbit_EVK_report.pdf ├── yAudit_EVK_report.pdf └── yAudit_competition_fixes_report.pdf ├── certora ├── conf │ ├── Cache.conf │ ├── ERC4626Split │ │ ├── README.md │ │ ├── VaultERC4626-assetsMoreThanSupply.conf │ │ ├── VaultERC4626-convertToAssetsWeakAdditivity.conf │ │ ├── VaultERC4626-convertToSharesWeakAdditivity.conf │ │ ├── VaultERC4626-depositMonotonicity.conf │ │ ├── VaultERC4626-dustFavorsTheHouse.conf │ │ ├── VaultERC4626-dustFavorsTheHouseAssets.conf │ │ ├── VaultERC4626-noAssetsIfNoSupply.conf │ │ ├── VaultERC4626-noSupplyIfNoAssets.conf │ │ ├── VaultERC4626-onlyContributionMethodsReduce.conf │ │ ├── VaultERC4626-totalsMonotonicity.conf │ │ ├── VaultERC4626-vaultSolvency-most.conf │ │ ├── VaultERC4626-vaultSolvency-redeem.conf │ │ ├── VaultERC4626-vaultSolvency-withdraw-as-rule.conf │ │ ├── VaultERC4626-vaultSolvency-withdraw.conf │ │ └── VaultERC4626.conf │ ├── EVault │ │ └── modules │ │ │ ├── BalanceForwarder.conf │ │ │ ├── Governance.conf │ │ │ ├── Liquidation.conf │ │ │ ├── RiskManager.conf │ │ │ └── Vault.conf │ └── healthStatus │ │ ├── BalanceForwarderHealthStatus.conf │ │ ├── BorrowingHealthStatus.conf │ │ ├── ETokenCollateralHealthStatus.conf │ │ ├── GovernanceHealthStatus.conf │ │ ├── InitializeHealthStatus.conf │ │ ├── LiquidateHealthStatus.conf │ │ ├── LiquidationHealthStatus.conf │ │ ├── README.md │ │ ├── TokenHealthStatus.conf │ │ ├── UnderlyingTokenHealthStatus.conf │ │ └── VaultHealthStatus.conf ├── harness │ ├── AbstractBaseHarness.sol │ ├── BaseHarness.sol │ ├── CacheHarness.sol │ ├── ERC4626Harness.sol │ ├── EVCHarness.sol │ ├── EVaultHarness.sol │ ├── ModuleDispatchHarness.sol │ ├── TokenHarness.sol │ ├── healthStatus │ │ ├── BalanceForwarderHSHarness.sol │ │ ├── BorrowingHSHarness.sol │ │ ├── GovernanceHSHarness.sol │ │ ├── InitializeHSHarness.sol │ │ ├── LiquidationHSHarness.sol │ │ ├── TokenHSHarness.sol │ │ └── VaultHSHarness.sol │ └── modules │ │ ├── BalanceForwarderHarness.sol │ │ ├── BorrowingHarness.sol │ │ ├── GovernanceHarness.sol │ │ ├── InitializeHarness.sol │ │ ├── LiquidationHarness.sol │ │ ├── RiskManagerHarness.sol │ │ ├── TokenHarness.sol │ │ └── VaultHarness.sol ├── helpers │ ├── DummyERC20A.sol │ ├── DummyERC20B.sol │ ├── DummyERC20Impl.sol │ ├── DummyETokenA.sol │ └── DummyETokenB.sol ├── scripts │ ├── runERC4626RulesSeparatelyBaseConf.py │ ├── runERC4626RulesSplitConfs.py │ └── runHealthStatusAllModules.py └── specs │ ├── BalanceForwarder.spec │ ├── Base.spec │ ├── Cache.spec │ ├── GhostPow.spec │ ├── Governance.spec │ ├── HealthStatusInvariant.spec │ ├── LiquidateHealthStatus.spec │ ├── Liquidation.spec │ ├── LoadVaultSummary.spec │ ├── RiskManager.spec │ ├── Vault.spec │ └── VaultERC4626.spec ├── docs ├── autoramping.svg ├── evault.svg ├── nesting.svg ├── specs.md ├── update-setLTV.md └── whitepaper.md ├── foundry.toml ├── medusa.json ├── remappings.txt ├── slither.config.json ├── src ├── EVault │ ├── DToken.sol │ ├── Dispatch.sol │ ├── EVault.sol │ ├── IEVault.sol │ ├── modules │ │ ├── BalanceForwarder.sol │ │ ├── Borrowing.sol │ │ ├── Governance.sol │ │ ├── Initialize.sol │ │ ├── Liquidation.sol │ │ ├── RiskManager.sol │ │ ├── Token.sol │ │ └── Vault.sol │ └── shared │ │ ├── AssetTransfers.sol │ │ ├── BalanceUtils.sol │ │ ├── Base.sol │ │ ├── BorrowUtils.sol │ │ ├── Cache.sol │ │ ├── Constants.sol │ │ ├── EVCClient.sol │ │ ├── Errors.sol │ │ ├── Events.sol │ │ ├── LTVUtils.sol │ │ ├── LiquidityUtils.sol │ │ ├── Storage.sol │ │ ├── lib │ │ ├── AddressUtils.sol │ │ ├── ConversionHelpers.sol │ │ ├── ProxyUtils.sol │ │ ├── RPow.sol │ │ ├── RevertBytes.sol │ │ └── SafeERC20Lib.sol │ │ └── types │ │ ├── AmountCap.sol │ │ ├── Assets.sol │ │ ├── ConfigAmount.sol │ │ ├── Flags.sol │ │ ├── LTVConfig.sol │ │ ├── Owed.sol │ │ ├── Shares.sol │ │ ├── Snapshot.sol │ │ ├── Types.sol │ │ ├── UserStorage.sol │ │ ├── VaultCache.sol │ │ └── VaultStorage.sol ├── GenericFactory │ ├── BeaconProxy.sol │ ├── GenericFactory.sol │ └── MetaProxyDeployer.sol ├── InterestRateModels │ ├── IIRM.sol │ └── IRMLinearKink.sol ├── ProtocolConfig │ ├── IProtocolConfig.sol │ └── ProtocolConfig.sol ├── SequenceRegistry │ └── SequenceRegistry.sol ├── Synths │ ├── ERC20EVCCompatible.sol │ ├── ESynth.sol │ ├── EulerSavingsRate.sol │ ├── HookTargetSynth.sol │ ├── IRMSynth.sol │ └── PegStabilityModule.sol └── interfaces │ ├── IBalanceTracker.sol │ ├── IFlashLoan.sol │ ├── IHookTarget.sol │ ├── IPermit2.sol │ ├── IPriceOracle.sol │ └── ISequenceRegistry.sol └── test ├── helpers ├── AssertionsCustomTypes.sol └── MathTesting.sol ├── invariant └── SimpleCriticalChecks.t.sol ├── invariants ├── CryticToFoundry.t.sol ├── HandlerAggregator.t.sol ├── Invariants.t.sol ├── InvariantsSpec.t.sol ├── Setup.t.sol ├── Tester.t.sol ├── _config │ └── echidna_config.yaml ├── base │ ├── BaseHandler.t.sol │ ├── BaseHooks.t.sol │ ├── BaseStorage.t.sol │ ├── BaseTest.t.sol │ └── ProtocolAssertions.t.sol ├── handlers │ ├── external │ │ └── EVCHandler.t.sol │ ├── interfaces │ │ └── ILiquidationModuleHandler.sol │ ├── modules │ │ ├── BalanceForwarderModuleHandler.t.sol │ │ ├── BorrowingModuleHandler.t.sol │ │ ├── GovernanceModuleHandler.t.sol │ │ ├── LiquidationModuleHandler.t.sol │ │ ├── RiskManagerModuleHandler.t.sol │ │ ├── TokenModuleHandler.t.sol │ │ └── VaultModuleHandler.t.sol │ └── simulators │ │ ├── DonationAttackHandler.t.sol │ │ ├── FlashLoanHandler.t.sol │ │ ├── IRMHandler.t.sol │ │ └── PriceOracleHandler.t.sol ├── helpers │ ├── VaultBaseGetters.sol │ └── extended │ │ ├── EVaultExtended.sol │ │ ├── FunctionOverrides.sol │ │ └── ModulesExtended.sol ├── hooks │ ├── BorrowingBeforeAfterHooks.t.sol │ ├── HookAggregator.t.sol │ └── VaultBeforeAfterHooks.t.sol ├── invariants │ ├── BaseInvariants.t.sol │ ├── BorrowingModuleInvariants.t.sol │ ├── InterestInvariants.t.sol │ ├── LiquidationModuleInvariants.t.sol │ ├── TokenModuleInvariants.t.sol │ └── VaultModuleInvariants.t.sol └── utils │ ├── Actor.sol │ ├── DeployPermit2.sol │ ├── Pretty.sol │ ├── PropertiesAsserts.sol │ ├── PropertiesConstants.sol │ └── StdAsserts.sol ├── mocks ├── IRMFailed.sol ├── IRMMax.sol ├── IRMOverBound.sol ├── IRMTestDefault.sol ├── IRMTestFixed.sol ├── IRMTestLinear.sol ├── IRMTestZero.sol ├── MockBalanceTracker.sol ├── MockDecimals.sol ├── MockEVault.sol ├── MockMinimalStatusCheck.sol ├── MockPriceOracle.sol ├── MockWrongEVC.sol ├── Permit2ECDSASigner.sol ├── ReentrancyAttack.sol └── TestERC20.sol ├── scripts ├── coverage.sh ├── echidna-assert.sh ├── echidna.sh └── medusa.sh └── unit ├── esr ├── ESR.Fuzz.t.sol ├── ESR.General.t.sol ├── ESR.Gulp.t.sol └── lib │ ├── ESRTest.sol │ └── MockToken.sol ├── esvault ├── ESVault.allocate.t.sol ├── ESVault.hookedOps.t.sol ├── ESVault.interestFee.t.sol └── ESVaultTestBase.t.sol ├── esynth ├── ESynth.totalSupply.t.sol ├── ESynthGeneral.t.sol └── lib │ └── ESynthTest.sol ├── evault ├── DToken.t.sol ├── Dispatch.t.sol ├── EVaultTestBase.t.sol ├── InvariantOverrides.sol ├── POC.t.sol ├── modules │ ├── BalanceForwarder │ │ ├── control.t.sol │ │ └── hooks.t.sol │ ├── Governance │ │ ├── convertFees.t.sol │ │ ├── disabledOpsAndFlags.t.sol │ │ ├── governorOnly.t.sol │ │ ├── hookedOps.t.sol │ │ ├── interestFee.t.sol │ │ ├── interestRates.t.sol │ │ ├── reserves.t.sol │ │ └── views.t.sol │ ├── Initialize │ │ └── errors.t.sol │ ├── Liquidation │ │ ├── basic.t.sol │ │ └── full.t.sol │ ├── Token │ │ ├── actions.t.sol │ │ └── views.t.sol │ └── Vault │ │ ├── amountLimits.t.sol │ │ ├── balancesNoInterest.t.sol │ │ ├── balancesWithInterest.t.sol │ │ ├── batch.t.sol │ │ ├── borrow.t.sol │ │ ├── borrowBasic.t.sol │ │ ├── borrowIsolation.t.sol │ │ ├── caps.t.sol │ │ ├── conversion.t.sol │ │ ├── decimals.t.sol │ │ ├── deposit.t.sol │ │ ├── flashloan.t.sol │ │ ├── liquidity.t.sol │ │ ├── ltv.t.sol │ │ ├── maliciousToken.t.sol │ │ ├── nested.t.sol │ │ ├── pullDebt.t.sol │ │ ├── repayWithShares.sol │ │ ├── skim.t.sol │ │ ├── transferShares.t.sol │ │ ├── views.t.sol │ │ └── withdraw.t.sol ├── protocolConfig.t.sol └── shared │ ├── AssetTransfers.t.sol │ ├── CustomTypes.t.sol │ ├── EVCClient.t.sol │ └── Reentrancy.t.sol ├── factory └── GenericFactory.t.sol ├── irm ├── IRMLimit.t.sol ├── IRMSynth.t.sol └── InterestRateLinearKink.t.sol └── pegStabilityModules └── PSM.t.sol /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/SECURITY.md -------------------------------------------------------------------------------- /audits/Cantina_competition_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/Cantina_competition_report.pdf -------------------------------------------------------------------------------- /audits/Certora_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/Certora_EVK_report.pdf -------------------------------------------------------------------------------- /audits/ChainSecurity_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/ChainSecurity_EVK_report.pdf -------------------------------------------------------------------------------- /audits/Electisec_setLTV_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/Electisec_setLTV_report.pdf -------------------------------------------------------------------------------- /audits/EnigmaDark_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/EnigmaDark_EVK_report.pdf -------------------------------------------------------------------------------- /audits/M4rio.eth_setLTV_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/M4rio.eth_setLTV_report.pdf -------------------------------------------------------------------------------- /audits/Omniscia_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/Omniscia_EVK_report.pdf -------------------------------------------------------------------------------- /audits/OpenZeppelin_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/OpenZeppelin_EVK_report.pdf -------------------------------------------------------------------------------- /audits/OpenZeppelin_Synths_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/OpenZeppelin_Synths_report.pdf -------------------------------------------------------------------------------- /audits/Spearbit_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/Spearbit_EVK_report.pdf -------------------------------------------------------------------------------- /audits/yAudit_EVK_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/yAudit_EVK_report.pdf -------------------------------------------------------------------------------- /audits/yAudit_competition_fixes_report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/audits/yAudit_competition_fixes_report.pdf -------------------------------------------------------------------------------- /certora/conf/Cache.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/Cache.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/README.md -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-assetsMoreThanSupply.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-assetsMoreThanSupply.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-convertToAssetsWeakAdditivity.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-convertToAssetsWeakAdditivity.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-convertToSharesWeakAdditivity.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-convertToSharesWeakAdditivity.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-depositMonotonicity.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-depositMonotonicity.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-dustFavorsTheHouse.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-dustFavorsTheHouse.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-dustFavorsTheHouseAssets.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-dustFavorsTheHouseAssets.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-noAssetsIfNoSupply.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-noAssetsIfNoSupply.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-noSupplyIfNoAssets.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-noSupplyIfNoAssets.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-onlyContributionMethodsReduce.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-onlyContributionMethodsReduce.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-totalsMonotonicity.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-totalsMonotonicity.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-most.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-most.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-redeem.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-redeem.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-withdraw-as-rule.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-withdraw-as-rule.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-withdraw.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626-vaultSolvency-withdraw.conf -------------------------------------------------------------------------------- /certora/conf/ERC4626Split/VaultERC4626.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/ERC4626Split/VaultERC4626.conf -------------------------------------------------------------------------------- /certora/conf/EVault/modules/BalanceForwarder.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/EVault/modules/BalanceForwarder.conf -------------------------------------------------------------------------------- /certora/conf/EVault/modules/Governance.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/EVault/modules/Governance.conf -------------------------------------------------------------------------------- /certora/conf/EVault/modules/Liquidation.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/EVault/modules/Liquidation.conf -------------------------------------------------------------------------------- /certora/conf/EVault/modules/RiskManager.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/EVault/modules/RiskManager.conf -------------------------------------------------------------------------------- /certora/conf/EVault/modules/Vault.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/EVault/modules/Vault.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/BalanceForwarderHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/BalanceForwarderHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/BorrowingHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/BorrowingHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/ETokenCollateralHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/ETokenCollateralHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/GovernanceHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/GovernanceHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/InitializeHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/InitializeHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/LiquidateHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/LiquidateHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/LiquidationHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/LiquidationHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/README.md -------------------------------------------------------------------------------- /certora/conf/healthStatus/TokenHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/TokenHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/UnderlyingTokenHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/UnderlyingTokenHealthStatus.conf -------------------------------------------------------------------------------- /certora/conf/healthStatus/VaultHealthStatus.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/conf/healthStatus/VaultHealthStatus.conf -------------------------------------------------------------------------------- /certora/harness/AbstractBaseHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/AbstractBaseHarness.sol -------------------------------------------------------------------------------- /certora/harness/BaseHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/BaseHarness.sol -------------------------------------------------------------------------------- /certora/harness/CacheHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/CacheHarness.sol -------------------------------------------------------------------------------- /certora/harness/ERC4626Harness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/ERC4626Harness.sol -------------------------------------------------------------------------------- /certora/harness/EVCHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/EVCHarness.sol -------------------------------------------------------------------------------- /certora/harness/EVaultHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/EVaultHarness.sol -------------------------------------------------------------------------------- /certora/harness/ModuleDispatchHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/ModuleDispatchHarness.sol -------------------------------------------------------------------------------- /certora/harness/TokenHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/TokenHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/BalanceForwarderHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/BalanceForwarderHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/BorrowingHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/BorrowingHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/GovernanceHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/GovernanceHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/InitializeHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/InitializeHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/LiquidationHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/LiquidationHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/TokenHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/TokenHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/healthStatus/VaultHSHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/healthStatus/VaultHSHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/BalanceForwarderHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/BalanceForwarderHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/BorrowingHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/BorrowingHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/GovernanceHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/GovernanceHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/InitializeHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/InitializeHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/LiquidationHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/LiquidationHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/RiskManagerHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/RiskManagerHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/TokenHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/TokenHarness.sol -------------------------------------------------------------------------------- /certora/harness/modules/VaultHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/harness/modules/VaultHarness.sol -------------------------------------------------------------------------------- /certora/helpers/DummyERC20A.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/helpers/DummyERC20A.sol -------------------------------------------------------------------------------- /certora/helpers/DummyERC20B.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/helpers/DummyERC20B.sol -------------------------------------------------------------------------------- /certora/helpers/DummyERC20Impl.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/helpers/DummyERC20Impl.sol -------------------------------------------------------------------------------- /certora/helpers/DummyETokenA.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/helpers/DummyETokenA.sol -------------------------------------------------------------------------------- /certora/helpers/DummyETokenB.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/helpers/DummyETokenB.sol -------------------------------------------------------------------------------- /certora/scripts/runERC4626RulesSeparatelyBaseConf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/scripts/runERC4626RulesSeparatelyBaseConf.py -------------------------------------------------------------------------------- /certora/scripts/runERC4626RulesSplitConfs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/scripts/runERC4626RulesSplitConfs.py -------------------------------------------------------------------------------- /certora/scripts/runHealthStatusAllModules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/scripts/runHealthStatusAllModules.py -------------------------------------------------------------------------------- /certora/specs/BalanceForwarder.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/BalanceForwarder.spec -------------------------------------------------------------------------------- /certora/specs/Base.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/Base.spec -------------------------------------------------------------------------------- /certora/specs/Cache.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/Cache.spec -------------------------------------------------------------------------------- /certora/specs/GhostPow.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/GhostPow.spec -------------------------------------------------------------------------------- /certora/specs/Governance.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/Governance.spec -------------------------------------------------------------------------------- /certora/specs/HealthStatusInvariant.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/HealthStatusInvariant.spec -------------------------------------------------------------------------------- /certora/specs/LiquidateHealthStatus.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/LiquidateHealthStatus.spec -------------------------------------------------------------------------------- /certora/specs/Liquidation.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/Liquidation.spec -------------------------------------------------------------------------------- /certora/specs/LoadVaultSummary.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/LoadVaultSummary.spec -------------------------------------------------------------------------------- /certora/specs/RiskManager.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/RiskManager.spec -------------------------------------------------------------------------------- /certora/specs/Vault.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/Vault.spec -------------------------------------------------------------------------------- /certora/specs/VaultERC4626.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/certora/specs/VaultERC4626.spec -------------------------------------------------------------------------------- /docs/autoramping.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/docs/autoramping.svg -------------------------------------------------------------------------------- /docs/evault.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/docs/evault.svg -------------------------------------------------------------------------------- /docs/nesting.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/docs/nesting.svg -------------------------------------------------------------------------------- /docs/specs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/docs/specs.md -------------------------------------------------------------------------------- /docs/update-setLTV.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/docs/update-setLTV.md -------------------------------------------------------------------------------- /docs/whitepaper.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/docs/whitepaper.md -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/foundry.toml -------------------------------------------------------------------------------- /medusa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/medusa.json -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/remappings.txt -------------------------------------------------------------------------------- /slither.config.json: -------------------------------------------------------------------------------- 1 | { 2 | "filter_paths": "(/test/|/lib/|/scripts/)" 3 | } -------------------------------------------------------------------------------- /src/EVault/DToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/DToken.sol -------------------------------------------------------------------------------- /src/EVault/Dispatch.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/Dispatch.sol -------------------------------------------------------------------------------- /src/EVault/EVault.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/EVault.sol -------------------------------------------------------------------------------- /src/EVault/IEVault.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/IEVault.sol -------------------------------------------------------------------------------- /src/EVault/modules/BalanceForwarder.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/BalanceForwarder.sol -------------------------------------------------------------------------------- /src/EVault/modules/Borrowing.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/Borrowing.sol -------------------------------------------------------------------------------- /src/EVault/modules/Governance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/Governance.sol -------------------------------------------------------------------------------- /src/EVault/modules/Initialize.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/Initialize.sol -------------------------------------------------------------------------------- /src/EVault/modules/Liquidation.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/Liquidation.sol -------------------------------------------------------------------------------- /src/EVault/modules/RiskManager.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/RiskManager.sol -------------------------------------------------------------------------------- /src/EVault/modules/Token.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/Token.sol -------------------------------------------------------------------------------- /src/EVault/modules/Vault.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/modules/Vault.sol -------------------------------------------------------------------------------- /src/EVault/shared/AssetTransfers.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/AssetTransfers.sol -------------------------------------------------------------------------------- /src/EVault/shared/BalanceUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/BalanceUtils.sol -------------------------------------------------------------------------------- /src/EVault/shared/Base.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/Base.sol -------------------------------------------------------------------------------- /src/EVault/shared/BorrowUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/BorrowUtils.sol -------------------------------------------------------------------------------- /src/EVault/shared/Cache.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/Cache.sol -------------------------------------------------------------------------------- /src/EVault/shared/Constants.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/Constants.sol -------------------------------------------------------------------------------- /src/EVault/shared/EVCClient.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/EVCClient.sol -------------------------------------------------------------------------------- /src/EVault/shared/Errors.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/Errors.sol -------------------------------------------------------------------------------- /src/EVault/shared/Events.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/Events.sol -------------------------------------------------------------------------------- /src/EVault/shared/LTVUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/LTVUtils.sol -------------------------------------------------------------------------------- /src/EVault/shared/LiquidityUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/LiquidityUtils.sol -------------------------------------------------------------------------------- /src/EVault/shared/Storage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/Storage.sol -------------------------------------------------------------------------------- /src/EVault/shared/lib/AddressUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/lib/AddressUtils.sol -------------------------------------------------------------------------------- /src/EVault/shared/lib/ConversionHelpers.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/lib/ConversionHelpers.sol -------------------------------------------------------------------------------- /src/EVault/shared/lib/ProxyUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/lib/ProxyUtils.sol -------------------------------------------------------------------------------- /src/EVault/shared/lib/RPow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/lib/RPow.sol -------------------------------------------------------------------------------- /src/EVault/shared/lib/RevertBytes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/lib/RevertBytes.sol -------------------------------------------------------------------------------- /src/EVault/shared/lib/SafeERC20Lib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/lib/SafeERC20Lib.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/AmountCap.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/AmountCap.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/Assets.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/Assets.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/ConfigAmount.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/ConfigAmount.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/Flags.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/Flags.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/LTVConfig.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/LTVConfig.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/Owed.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/Owed.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/Shares.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/Shares.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/Snapshot.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/Snapshot.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/Types.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/Types.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/UserStorage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/UserStorage.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/VaultCache.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/VaultCache.sol -------------------------------------------------------------------------------- /src/EVault/shared/types/VaultStorage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/EVault/shared/types/VaultStorage.sol -------------------------------------------------------------------------------- /src/GenericFactory/BeaconProxy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/GenericFactory/BeaconProxy.sol -------------------------------------------------------------------------------- /src/GenericFactory/GenericFactory.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/GenericFactory/GenericFactory.sol -------------------------------------------------------------------------------- /src/GenericFactory/MetaProxyDeployer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/GenericFactory/MetaProxyDeployer.sol -------------------------------------------------------------------------------- /src/InterestRateModels/IIRM.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/InterestRateModels/IIRM.sol -------------------------------------------------------------------------------- /src/InterestRateModels/IRMLinearKink.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/InterestRateModels/IRMLinearKink.sol -------------------------------------------------------------------------------- /src/ProtocolConfig/IProtocolConfig.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/ProtocolConfig/IProtocolConfig.sol -------------------------------------------------------------------------------- /src/ProtocolConfig/ProtocolConfig.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/ProtocolConfig/ProtocolConfig.sol -------------------------------------------------------------------------------- /src/SequenceRegistry/SequenceRegistry.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/SequenceRegistry/SequenceRegistry.sol -------------------------------------------------------------------------------- /src/Synths/ERC20EVCCompatible.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/Synths/ERC20EVCCompatible.sol -------------------------------------------------------------------------------- /src/Synths/ESynth.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/Synths/ESynth.sol -------------------------------------------------------------------------------- /src/Synths/EulerSavingsRate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/Synths/EulerSavingsRate.sol -------------------------------------------------------------------------------- /src/Synths/HookTargetSynth.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/Synths/HookTargetSynth.sol -------------------------------------------------------------------------------- /src/Synths/IRMSynth.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/Synths/IRMSynth.sol -------------------------------------------------------------------------------- /src/Synths/PegStabilityModule.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/Synths/PegStabilityModule.sol -------------------------------------------------------------------------------- /src/interfaces/IBalanceTracker.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/interfaces/IBalanceTracker.sol -------------------------------------------------------------------------------- /src/interfaces/IFlashLoan.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/interfaces/IFlashLoan.sol -------------------------------------------------------------------------------- /src/interfaces/IHookTarget.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/interfaces/IHookTarget.sol -------------------------------------------------------------------------------- /src/interfaces/IPermit2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/interfaces/IPermit2.sol -------------------------------------------------------------------------------- /src/interfaces/IPriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/interfaces/IPriceOracle.sol -------------------------------------------------------------------------------- /src/interfaces/ISequenceRegistry.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/src/interfaces/ISequenceRegistry.sol -------------------------------------------------------------------------------- /test/helpers/AssertionsCustomTypes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/helpers/AssertionsCustomTypes.sol -------------------------------------------------------------------------------- /test/helpers/MathTesting.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/helpers/MathTesting.sol -------------------------------------------------------------------------------- /test/invariant/SimpleCriticalChecks.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariant/SimpleCriticalChecks.t.sol -------------------------------------------------------------------------------- /test/invariants/CryticToFoundry.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/CryticToFoundry.t.sol -------------------------------------------------------------------------------- /test/invariants/HandlerAggregator.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/HandlerAggregator.t.sol -------------------------------------------------------------------------------- /test/invariants/Invariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/Invariants.t.sol -------------------------------------------------------------------------------- /test/invariants/InvariantsSpec.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/InvariantsSpec.t.sol -------------------------------------------------------------------------------- /test/invariants/Setup.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/Setup.t.sol -------------------------------------------------------------------------------- /test/invariants/Tester.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/Tester.t.sol -------------------------------------------------------------------------------- /test/invariants/_config/echidna_config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/_config/echidna_config.yaml -------------------------------------------------------------------------------- /test/invariants/base/BaseHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/base/BaseHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/base/BaseHooks.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/base/BaseHooks.t.sol -------------------------------------------------------------------------------- /test/invariants/base/BaseStorage.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/base/BaseStorage.t.sol -------------------------------------------------------------------------------- /test/invariants/base/BaseTest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/base/BaseTest.t.sol -------------------------------------------------------------------------------- /test/invariants/base/ProtocolAssertions.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/base/ProtocolAssertions.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/external/EVCHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/external/EVCHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/interfaces/ILiquidationModuleHandler.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/interfaces/ILiquidationModuleHandler.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/BalanceForwarderModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/BalanceForwarderModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/BorrowingModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/BorrowingModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/GovernanceModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/GovernanceModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/LiquidationModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/LiquidationModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/RiskManagerModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/RiskManagerModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/TokenModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/TokenModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/modules/VaultModuleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/modules/VaultModuleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/simulators/DonationAttackHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/simulators/DonationAttackHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/simulators/FlashLoanHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/simulators/FlashLoanHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/simulators/IRMHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/simulators/IRMHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/handlers/simulators/PriceOracleHandler.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/handlers/simulators/PriceOracleHandler.t.sol -------------------------------------------------------------------------------- /test/invariants/helpers/VaultBaseGetters.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/helpers/VaultBaseGetters.sol -------------------------------------------------------------------------------- /test/invariants/helpers/extended/EVaultExtended.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/helpers/extended/EVaultExtended.sol -------------------------------------------------------------------------------- /test/invariants/helpers/extended/FunctionOverrides.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/helpers/extended/FunctionOverrides.sol -------------------------------------------------------------------------------- /test/invariants/helpers/extended/ModulesExtended.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/helpers/extended/ModulesExtended.sol -------------------------------------------------------------------------------- /test/invariants/hooks/BorrowingBeforeAfterHooks.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/hooks/BorrowingBeforeAfterHooks.t.sol -------------------------------------------------------------------------------- /test/invariants/hooks/HookAggregator.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/hooks/HookAggregator.t.sol -------------------------------------------------------------------------------- /test/invariants/hooks/VaultBeforeAfterHooks.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/hooks/VaultBeforeAfterHooks.t.sol -------------------------------------------------------------------------------- /test/invariants/invariants/BaseInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/invariants/BaseInvariants.t.sol -------------------------------------------------------------------------------- /test/invariants/invariants/BorrowingModuleInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/invariants/BorrowingModuleInvariants.t.sol -------------------------------------------------------------------------------- /test/invariants/invariants/InterestInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/invariants/InterestInvariants.t.sol -------------------------------------------------------------------------------- /test/invariants/invariants/LiquidationModuleInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/invariants/LiquidationModuleInvariants.t.sol -------------------------------------------------------------------------------- /test/invariants/invariants/TokenModuleInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/invariants/TokenModuleInvariants.t.sol -------------------------------------------------------------------------------- /test/invariants/invariants/VaultModuleInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/invariants/VaultModuleInvariants.t.sol -------------------------------------------------------------------------------- /test/invariants/utils/Actor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/utils/Actor.sol -------------------------------------------------------------------------------- /test/invariants/utils/DeployPermit2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/utils/DeployPermit2.sol -------------------------------------------------------------------------------- /test/invariants/utils/Pretty.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/utils/Pretty.sol -------------------------------------------------------------------------------- /test/invariants/utils/PropertiesAsserts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/utils/PropertiesAsserts.sol -------------------------------------------------------------------------------- /test/invariants/utils/PropertiesConstants.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/utils/PropertiesConstants.sol -------------------------------------------------------------------------------- /test/invariants/utils/StdAsserts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/invariants/utils/StdAsserts.sol -------------------------------------------------------------------------------- /test/mocks/IRMFailed.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMFailed.sol -------------------------------------------------------------------------------- /test/mocks/IRMMax.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMMax.sol -------------------------------------------------------------------------------- /test/mocks/IRMOverBound.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMOverBound.sol -------------------------------------------------------------------------------- /test/mocks/IRMTestDefault.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMTestDefault.sol -------------------------------------------------------------------------------- /test/mocks/IRMTestFixed.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMTestFixed.sol -------------------------------------------------------------------------------- /test/mocks/IRMTestLinear.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMTestLinear.sol -------------------------------------------------------------------------------- /test/mocks/IRMTestZero.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/IRMTestZero.sol -------------------------------------------------------------------------------- /test/mocks/MockBalanceTracker.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/MockBalanceTracker.sol -------------------------------------------------------------------------------- /test/mocks/MockDecimals.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/MockDecimals.sol -------------------------------------------------------------------------------- /test/mocks/MockEVault.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/MockEVault.sol -------------------------------------------------------------------------------- /test/mocks/MockMinimalStatusCheck.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/MockMinimalStatusCheck.sol -------------------------------------------------------------------------------- /test/mocks/MockPriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/MockPriceOracle.sol -------------------------------------------------------------------------------- /test/mocks/MockWrongEVC.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/MockWrongEVC.sol -------------------------------------------------------------------------------- /test/mocks/Permit2ECDSASigner.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/Permit2ECDSASigner.sol -------------------------------------------------------------------------------- /test/mocks/ReentrancyAttack.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/ReentrancyAttack.sol -------------------------------------------------------------------------------- /test/mocks/TestERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/mocks/TestERC20.sol -------------------------------------------------------------------------------- /test/scripts/coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/scripts/coverage.sh -------------------------------------------------------------------------------- /test/scripts/echidna-assert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/scripts/echidna-assert.sh -------------------------------------------------------------------------------- /test/scripts/echidna.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/scripts/echidna.sh -------------------------------------------------------------------------------- /test/scripts/medusa.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | medusa fuzz -------------------------------------------------------------------------------- /test/unit/esr/ESR.Fuzz.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esr/ESR.Fuzz.t.sol -------------------------------------------------------------------------------- /test/unit/esr/ESR.General.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esr/ESR.General.t.sol -------------------------------------------------------------------------------- /test/unit/esr/ESR.Gulp.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esr/ESR.Gulp.t.sol -------------------------------------------------------------------------------- /test/unit/esr/lib/ESRTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esr/lib/ESRTest.sol -------------------------------------------------------------------------------- /test/unit/esr/lib/MockToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esr/lib/MockToken.sol -------------------------------------------------------------------------------- /test/unit/esvault/ESVault.allocate.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esvault/ESVault.allocate.t.sol -------------------------------------------------------------------------------- /test/unit/esvault/ESVault.hookedOps.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esvault/ESVault.hookedOps.t.sol -------------------------------------------------------------------------------- /test/unit/esvault/ESVault.interestFee.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esvault/ESVault.interestFee.t.sol -------------------------------------------------------------------------------- /test/unit/esvault/ESVaultTestBase.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esvault/ESVaultTestBase.t.sol -------------------------------------------------------------------------------- /test/unit/esynth/ESynth.totalSupply.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esynth/ESynth.totalSupply.t.sol -------------------------------------------------------------------------------- /test/unit/esynth/ESynthGeneral.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esynth/ESynthGeneral.t.sol -------------------------------------------------------------------------------- /test/unit/esynth/lib/ESynthTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/esynth/lib/ESynthTest.sol -------------------------------------------------------------------------------- /test/unit/evault/DToken.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/DToken.t.sol -------------------------------------------------------------------------------- /test/unit/evault/Dispatch.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/Dispatch.t.sol -------------------------------------------------------------------------------- /test/unit/evault/EVaultTestBase.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/EVaultTestBase.t.sol -------------------------------------------------------------------------------- /test/unit/evault/InvariantOverrides.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/InvariantOverrides.sol -------------------------------------------------------------------------------- /test/unit/evault/POC.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/POC.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/BalanceForwarder/control.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/BalanceForwarder/control.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/BalanceForwarder/hooks.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/BalanceForwarder/hooks.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/convertFees.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/convertFees.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/disabledOpsAndFlags.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/disabledOpsAndFlags.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/governorOnly.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/governorOnly.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/hookedOps.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/hookedOps.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/interestFee.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/interestFee.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/interestRates.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/interestRates.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/reserves.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/reserves.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Governance/views.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Governance/views.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Initialize/errors.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Initialize/errors.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Liquidation/basic.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Liquidation/basic.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Liquidation/full.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Liquidation/full.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Token/actions.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Token/actions.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Token/views.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Token/views.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/amountLimits.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/amountLimits.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/balancesNoInterest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/balancesNoInterest.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/balancesWithInterest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/balancesWithInterest.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/batch.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/batch.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/borrow.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/borrow.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/borrowBasic.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/borrowBasic.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/borrowIsolation.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/borrowIsolation.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/caps.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/caps.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/conversion.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/conversion.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/decimals.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/decimals.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/deposit.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/deposit.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/flashloan.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/flashloan.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/liquidity.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/liquidity.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/ltv.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/ltv.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/maliciousToken.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/maliciousToken.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/nested.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/nested.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/pullDebt.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/pullDebt.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/repayWithShares.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/repayWithShares.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/skim.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/skim.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/transferShares.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/transferShares.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/views.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/views.t.sol -------------------------------------------------------------------------------- /test/unit/evault/modules/Vault/withdraw.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/modules/Vault/withdraw.t.sol -------------------------------------------------------------------------------- /test/unit/evault/protocolConfig.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/protocolConfig.t.sol -------------------------------------------------------------------------------- /test/unit/evault/shared/AssetTransfers.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/shared/AssetTransfers.t.sol -------------------------------------------------------------------------------- /test/unit/evault/shared/CustomTypes.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/shared/CustomTypes.t.sol -------------------------------------------------------------------------------- /test/unit/evault/shared/EVCClient.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/shared/EVCClient.t.sol -------------------------------------------------------------------------------- /test/unit/evault/shared/Reentrancy.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/evault/shared/Reentrancy.t.sol -------------------------------------------------------------------------------- /test/unit/factory/GenericFactory.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/factory/GenericFactory.t.sol -------------------------------------------------------------------------------- /test/unit/irm/IRMLimit.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/irm/IRMLimit.t.sol -------------------------------------------------------------------------------- /test/unit/irm/IRMSynth.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/irm/IRMSynth.t.sol -------------------------------------------------------------------------------- /test/unit/irm/InterestRateLinearKink.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/irm/InterestRateLinearKink.t.sol -------------------------------------------------------------------------------- /test/unit/pegStabilityModules/PSM.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/euler-xyz/euler-vault-kit/HEAD/test/unit/pegStabilityModules/PSM.t.sol --------------------------------------------------------------------------------