├── .circleci └── config.yml ├── .dockerignore ├── .gitattributes ├── .gitignore ├── .prettierrc ├── .solcover.js ├── .soliumignore ├── .soliumrc.json ├── Dockerfile ├── LICENSE ├── Makefile ├── README.md ├── audits └── trailofbits-CREAMSummary.pdf ├── contracts ├── CCollateralCapErc20.sol ├── CCollateralCapErc20CheckRepay.sol ├── CCollateralCapErc20CheckRepayDelegate.sol ├── CCollateralCapErc20Delegate.sol ├── CErc20.sol ├── CErc20Delegate.sol ├── CErc20Delegator.sol ├── CToken.sol ├── CTokenAdmin.sol ├── CTokenCheckRepay.sol ├── CTokenInterfaces.sol ├── CWrappedNative.sol ├── CWrappedNativeDelegate.sol ├── CWrappedNativeDelegator.sol ├── CarefulMath.sol ├── Comptroller.sol ├── ComptrollerInterface.sol ├── ComptrollerStorage.sol ├── EIP20Interface.sol ├── EIP20NonStandardInterface.sol ├── ERC3156FlashBorrowerInterface.sol ├── ERC3156FlashLenderInterface.sol ├── ErrorReporter.sol ├── Exponential.sol ├── FlashloanLender.sol ├── Governance │ └── Comp.sol ├── InterestRateModel.sol ├── JumpRateModelV2.sol ├── Legacy │ ├── CCTokenDelegate.sol │ ├── CCapableErc20.sol │ ├── CCapableErc20Delegate.sol │ ├── CCollateralCapErc20Delegator.sol │ ├── CErc20Immutable.sol │ ├── CEther.sol │ ├── CSLPDelegate.sol │ ├── CTokenDeprecated.sol │ ├── ComptrollerG1.sol │ ├── ComptrollerG2.sol │ ├── ComptrollerG3.sol │ ├── ComptrollerG4.sol │ ├── ComptrollerG5.sol │ └── ComptrollerG6.sol ├── Lens │ └── CompoundLens.sol ├── LiquidityMiningInterface.sol ├── PriceOracle │ ├── Denominations.sol │ ├── PriceOracle.sol │ ├── PriceOracleProxy.sol │ ├── SimplePriceOracle.sol │ ├── interfaces │ │ ├── CurveTokenInterface.sol │ │ ├── FeedRegistryInterface.sol │ │ ├── UniswapV2Interface.sol │ │ ├── V1PriceOracleInterface.sol │ │ ├── XSushiExchangeRateInterface.sol │ │ └── YVaultTokenInterface.sol │ └── v1PriceOracle.sol ├── SafeMath.sol ├── TripleSlopeRateModel.sol └── Unitroller.sol ├── docs └── CompoundProtocol.pdf ├── jest.config.js ├── package.json ├── reporterConfig.json ├── saddle.config.js ├── scenario ├── Grammar.pegjs ├── SCENARIO.md ├── package.json ├── script │ ├── generate_parser │ ├── repl │ ├── tsc │ └── webpack ├── src │ ├── Accounts.ts │ ├── Action.ts │ ├── Assert.ts │ ├── Builder │ │ ├── CTokenBuilder.ts │ │ ├── CTokenDelegateBuilder.ts │ │ ├── CompBuilder.ts │ │ ├── ComptrollerImplBuilder.ts │ │ ├── Erc20Builder.ts │ │ ├── InterestRateModelBuilder.ts │ │ ├── PriceOracleBuilder.ts │ │ ├── PriceOracleProxyBuilder.ts │ │ └── UnitrollerBuilder.ts │ ├── Command.ts │ ├── Completer.ts │ ├── Contract.ts │ ├── Contract │ │ ├── CErc20Delegate.ts │ │ ├── CErc20Delegator.ts │ │ ├── CToken.ts │ │ ├── Comp.ts │ │ ├── CompoundLens.ts │ │ ├── Comptroller.ts │ │ ├── ComptrollerImpl.ts │ │ ├── Counter.ts │ │ ├── Erc20.ts │ │ ├── InterestRateModel.ts │ │ ├── Pot.ts │ │ ├── PriceOracle.ts │ │ ├── PriceOracleProxy.ts │ │ ├── Unitroller.ts │ │ ├── Vat.ts │ │ └── builder.js │ ├── ContractLookup.ts │ ├── CoreEvent.ts │ ├── CoreValue.ts │ ├── Encoding.ts │ ├── ErrorReporter.ts │ ├── ErrorReporterConstants.ts │ ├── Event.ts │ ├── Event │ │ ├── AssertionEvent.ts │ │ ├── CTokenDelegateEvent.ts │ │ ├── CTokenEvent.ts │ │ ├── CompEvent.ts │ │ ├── ComptrollerEvent.ts │ │ ├── ComptrollerImplEvent.ts │ │ ├── Erc20Event.ts │ │ ├── ExpectationEvent.ts │ │ ├── InterestRateModelEvent.ts │ │ ├── InvariantEvent.ts │ │ ├── PriceOracleEvent.ts │ │ ├── PriceOracleProxyEvent.ts │ │ ├── TrxEvent.ts │ │ └── UnitrollerEvent.ts │ ├── EventBuilder.ts │ ├── Expectation.ts │ ├── Expectation │ │ ├── ChangesExpectation.ts │ │ └── RemainsExpectation.ts │ ├── File.ts │ ├── Formatter.ts │ ├── Help.ts │ ├── HistoricReadline.ts │ ├── Hypothetical.ts │ ├── Invariant.ts │ ├── Invariant │ │ ├── RemainsInvariant.ts │ │ ├── StaticInvariant.ts │ │ └── SuccessInvariant.ts │ ├── Invokation.ts │ ├── Macro.ts │ ├── Networks.ts │ ├── Parser.ts │ ├── Printer.ts │ ├── Repl.d.ts │ ├── Repl.ts │ ├── Runner.ts │ ├── Settings.ts │ ├── Utils.ts │ ├── Value.ts │ ├── Value │ │ ├── CTokenDelegateValue.ts │ │ ├── CTokenValue.ts │ │ ├── CompValue.ts │ │ ├── ComptrollerImplValue.ts │ │ ├── ComptrollerValue.ts │ │ ├── Erc20Value.ts │ │ ├── InterestRateModelValue.ts │ │ ├── PriceOracleProxyValue.ts │ │ ├── PriceOracleValue.ts │ │ ├── UnitrollerValue.ts │ │ └── UserValue.ts │ ├── Verify.ts │ ├── Web.ts │ └── World.ts ├── tsconfig.json ├── webpack.config.js └── yarn.lock ├── script ├── README.md ├── build_scenarios ├── compile ├── coverage ├── format ├── lint ├── saddle │ ├── contractSizer.js │ ├── deployToken.js │ ├── flywheelInit.js │ ├── matchToken.js │ ├── support │ │ └── tokenConfig.js │ └── verifyToken.js ├── scen │ ├── deploy.scen │ └── scriptFlywheel.scen ├── test └── verify ├── spec ├── certora │ ├── CErc20 │ │ ├── accrueInterest.cvl │ │ ├── admin.cvl │ │ ├── borrowAndRepayFresh.cvl │ │ ├── eip20.cvl │ │ ├── exchangeRate.cvl │ │ ├── frame.cvl │ │ ├── liquidateFresh.cvl │ │ ├── mintAndRedeemFresh.cvl │ │ └── rounding.cvl │ ├── CErc20Delegator │ ├── Comp │ │ ├── search.cvl │ │ └── transfer.cvl │ ├── Comptroller │ │ └── comptroller.cvl │ ├── Math │ │ └── int.cvl │ ├── Maximillion │ │ └── maximillion.cvl │ ├── cDAI │ │ └── mcd.cvl │ └── contracts │ │ ├── CDaiDelegateCertora.sol │ │ ├── CErc20DelegateCertora.sol │ │ ├── CErc20DelegatorCertora.sol │ │ ├── CErc20ImmutableCertora.sol │ │ ├── CEtherCertora.sol │ │ ├── CTokenCollateral.sol │ │ ├── CompCertora.sol │ │ ├── ComptrollerCertora.sol │ │ ├── InterestRateModelModel.sol │ │ ├── MathCertora.sol │ │ ├── PriceOracleModel.sol │ │ ├── SimulationInterface.sol │ │ ├── UnderlyingModelNonStandard.sol │ │ └── UnderlyingModelWithFee.sol ├── scenario │ ├── AddReserves.scen │ ├── Borrow.scen │ ├── Borrow.scen.old │ ├── BorrowBalance.scen │ ├── BorrowCap.scen │ ├── BorrowEth.scen │ ├── BorrowWBTC.scen │ ├── BreakLiquidate.scen │ ├── CTokenAdmin.scen │ ├── ChangeDelegate.scen │ ├── CollateralCap.scen │ ├── Comp │ │ └── Comp.scen │ ├── CoreMacros │ ├── EnterExitMarkets.scen │ ├── ExchangeRate.scen │ ├── Fee.scen │ ├── Gas.scen │ ├── HypotheticalAccountLiquidity.scen │ ├── InKindLiquidation.scen │ ├── Liquidate.scen.old │ ├── Mint.scen │ ├── MintEth.scen │ ├── MintWBTC.scen │ ├── ReEntry.scen │ ├── Redeem.scen │ ├── RedeemEth.scen │ ├── RedeemUnderlying.scen │ ├── RedeemUnderlyingEth.scen │ ├── RedeemUnderlyingWBTC.scen │ ├── RedeemWBTC.scen │ ├── ReduceReserves.scen │ ├── RepayBorrow.scen │ ├── RepayBorrowEth.scen │ ├── RepayBorrowWBTC.scen │ ├── Seize.scen │ ├── SetComptroller.scen │ ├── Supply.scen.old │ ├── SupplyCap.scen │ ├── Tether.scen │ ├── TokenTransfer.scen │ ├── Unitroller.scen │ ├── Withdraw.scen.old │ └── WrappedNative.scen └── sim │ ├── 0001-comp-distribution-patch │ ├── deploy.scen │ ├── hypothetical_upgrade.scen │ ├── hypothetical_upgrade_post_deploy.scen │ └── hypothetical_upgrade_post_propose.scen │ └── 0003-borrow-caps-patch │ ├── deploy.scen │ ├── hypothetical_upgrade.scen │ ├── hypothetical_upgrade_post_deploy.scen │ └── hypothetical_upgrade_post_propose.scen ├── tests ├── CompilerTest.js ├── Comptroller │ ├── accountLiquidityTest.js │ ├── adminTest.js │ ├── assetsListTest.js │ ├── comptrollerTest.js │ ├── liquidateCalculateAmountSeizeTest.js │ ├── pauseGuardianTest.js │ ├── proxiedComptrollerV1Test.js │ └── unitrollerTest.js ├── Contracts │ ├── CErc20Harness.sol │ ├── CEtherHarness.sol │ ├── CompHarness.sol │ ├── ComptrollerHarness.sol │ ├── ComptrollerScenario.sol │ ├── ComptrollerScenarioG1.sol │ ├── ComptrollerScenarioG2.sol │ ├── ComptrollerScenarioG3.sol │ ├── ComptrollerScenarioG4.sol │ ├── Const.sol │ ├── Counter.sol │ ├── ERC20.sol │ ├── EvilToken.sol │ ├── FalseMarker.sol │ ├── FaucetToken.sol │ ├── FeeToken.sol │ ├── FixedPriceOracle.sol │ ├── FlashloanReceiver.sol │ ├── InterestRateModelHarness.sol │ ├── MockAggregator.sol │ ├── MockLiquidityMining.sol │ ├── MockMasterChef.sol │ ├── MockSushiBar.sol │ ├── Structs.sol │ ├── TetherInterface.sol │ ├── WBTC.sol │ └── WrappedNative.sol ├── Errors.js ├── Flywheel │ └── FlywheelTest.js ├── Fuzz │ └── CompWheelFuzzTest.js ├── Governance │ ├── CompScenarioTest.js │ └── CompTest.js ├── Jest.js ├── Lens │ └── CompoundLensTest.js ├── Matchers.js ├── Models │ └── InterestRateModelTest.js ├── PriceOracleProxyTest.js ├── Scenario.js ├── SpinaramaTest.js ├── Tokens │ ├── accrueInterestTest.js │ ├── adminTest.js │ ├── attack.js │ ├── borrowAndRepayCCTokenTest.js │ ├── borrowAndRepayCEtherTest.js │ ├── borrowAndRepayCSLPTest.js │ ├── borrowAndRepayCWrappedNativeTest.js │ ├── borrowAndRepayTest.js │ ├── cTokenAdminTest.js │ ├── cTokenTest.js │ ├── flashloanCWrappedNativeTest.js │ ├── flashloanTest.js │ ├── implementationTest.js │ ├── liquidateTest.js │ ├── mintAndRedeemCCTokenTest.js │ ├── mintAndRedeemCCollateralCapTest.js │ ├── mintAndRedeemCEtherTest.js │ ├── mintAndRedeemCSLPTest.js │ ├── mintAndRedeemCWrappedNativeTest.js │ ├── mintAndRedeemTest.js │ ├── registerAndUnregisterCollateral.js │ ├── reservesTest.js │ ├── safeTokenTest.js │ ├── setComptrollerTest.js │ ├── setInterestRateModelTest.js │ └── transferTest.js └── Utils │ ├── Compound.js │ ├── EIP712.js │ ├── Ethereum.js │ ├── InfuraProxy.js │ └── JS.js └── yarn.lock /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/.gitignore -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/.prettierrc -------------------------------------------------------------------------------- /.solcover.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/.solcover.js -------------------------------------------------------------------------------- /.soliumignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | test/contracts/WBTC.sol 3 | -------------------------------------------------------------------------------- /.soliumrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/.soliumrc.json -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/README.md -------------------------------------------------------------------------------- /audits/trailofbits-CREAMSummary.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/audits/trailofbits-CREAMSummary.pdf -------------------------------------------------------------------------------- /contracts/CCollateralCapErc20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CCollateralCapErc20.sol -------------------------------------------------------------------------------- /contracts/CCollateralCapErc20CheckRepay.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CCollateralCapErc20CheckRepay.sol -------------------------------------------------------------------------------- /contracts/CCollateralCapErc20CheckRepayDelegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CCollateralCapErc20CheckRepayDelegate.sol -------------------------------------------------------------------------------- /contracts/CCollateralCapErc20Delegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CCollateralCapErc20Delegate.sol -------------------------------------------------------------------------------- /contracts/CErc20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CErc20.sol -------------------------------------------------------------------------------- /contracts/CErc20Delegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CErc20Delegate.sol -------------------------------------------------------------------------------- /contracts/CErc20Delegator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CErc20Delegator.sol -------------------------------------------------------------------------------- /contracts/CToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CToken.sol -------------------------------------------------------------------------------- /contracts/CTokenAdmin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CTokenAdmin.sol -------------------------------------------------------------------------------- /contracts/CTokenCheckRepay.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CTokenCheckRepay.sol -------------------------------------------------------------------------------- /contracts/CTokenInterfaces.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CTokenInterfaces.sol -------------------------------------------------------------------------------- /contracts/CWrappedNative.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CWrappedNative.sol -------------------------------------------------------------------------------- /contracts/CWrappedNativeDelegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CWrappedNativeDelegate.sol -------------------------------------------------------------------------------- /contracts/CWrappedNativeDelegator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CWrappedNativeDelegator.sol -------------------------------------------------------------------------------- /contracts/CarefulMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/CarefulMath.sol -------------------------------------------------------------------------------- /contracts/Comptroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Comptroller.sol -------------------------------------------------------------------------------- /contracts/ComptrollerInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/ComptrollerInterface.sol -------------------------------------------------------------------------------- /contracts/ComptrollerStorage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/ComptrollerStorage.sol -------------------------------------------------------------------------------- /contracts/EIP20Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/EIP20Interface.sol -------------------------------------------------------------------------------- /contracts/EIP20NonStandardInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/EIP20NonStandardInterface.sol -------------------------------------------------------------------------------- /contracts/ERC3156FlashBorrowerInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/ERC3156FlashBorrowerInterface.sol -------------------------------------------------------------------------------- /contracts/ERC3156FlashLenderInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/ERC3156FlashLenderInterface.sol -------------------------------------------------------------------------------- /contracts/ErrorReporter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/ErrorReporter.sol -------------------------------------------------------------------------------- /contracts/Exponential.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Exponential.sol -------------------------------------------------------------------------------- /contracts/FlashloanLender.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/FlashloanLender.sol -------------------------------------------------------------------------------- /contracts/Governance/Comp.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Governance/Comp.sol -------------------------------------------------------------------------------- /contracts/InterestRateModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/InterestRateModel.sol -------------------------------------------------------------------------------- /contracts/JumpRateModelV2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/JumpRateModelV2.sol -------------------------------------------------------------------------------- /contracts/Legacy/CCTokenDelegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CCTokenDelegate.sol -------------------------------------------------------------------------------- /contracts/Legacy/CCapableErc20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CCapableErc20.sol -------------------------------------------------------------------------------- /contracts/Legacy/CCapableErc20Delegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CCapableErc20Delegate.sol -------------------------------------------------------------------------------- /contracts/Legacy/CCollateralCapErc20Delegator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CCollateralCapErc20Delegator.sol -------------------------------------------------------------------------------- /contracts/Legacy/CErc20Immutable.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CErc20Immutable.sol -------------------------------------------------------------------------------- /contracts/Legacy/CEther.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CEther.sol -------------------------------------------------------------------------------- /contracts/Legacy/CSLPDelegate.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CSLPDelegate.sol -------------------------------------------------------------------------------- /contracts/Legacy/CTokenDeprecated.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/CTokenDeprecated.sol -------------------------------------------------------------------------------- /contracts/Legacy/ComptrollerG1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/ComptrollerG1.sol -------------------------------------------------------------------------------- /contracts/Legacy/ComptrollerG2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/ComptrollerG2.sol -------------------------------------------------------------------------------- /contracts/Legacy/ComptrollerG3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/ComptrollerG3.sol -------------------------------------------------------------------------------- /contracts/Legacy/ComptrollerG4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/ComptrollerG4.sol -------------------------------------------------------------------------------- /contracts/Legacy/ComptrollerG5.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/ComptrollerG5.sol -------------------------------------------------------------------------------- /contracts/Legacy/ComptrollerG6.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Legacy/ComptrollerG6.sol -------------------------------------------------------------------------------- /contracts/Lens/CompoundLens.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Lens/CompoundLens.sol -------------------------------------------------------------------------------- /contracts/LiquidityMiningInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/LiquidityMiningInterface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/Denominations.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/Denominations.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/PriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/PriceOracle.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/PriceOracleProxy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/PriceOracleProxy.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/SimplePriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/SimplePriceOracle.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/interfaces/CurveTokenInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/interfaces/CurveTokenInterface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/interfaces/FeedRegistryInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/interfaces/FeedRegistryInterface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/interfaces/UniswapV2Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/interfaces/UniswapV2Interface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/interfaces/V1PriceOracleInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/interfaces/V1PriceOracleInterface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/interfaces/XSushiExchangeRateInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/interfaces/XSushiExchangeRateInterface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/interfaces/YVaultTokenInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/interfaces/YVaultTokenInterface.sol -------------------------------------------------------------------------------- /contracts/PriceOracle/v1PriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/PriceOracle/v1PriceOracle.sol -------------------------------------------------------------------------------- /contracts/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/SafeMath.sol -------------------------------------------------------------------------------- /contracts/TripleSlopeRateModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/TripleSlopeRateModel.sol -------------------------------------------------------------------------------- /contracts/Unitroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/contracts/Unitroller.sol -------------------------------------------------------------------------------- /docs/CompoundProtocol.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/docs/CompoundProtocol.pdf -------------------------------------------------------------------------------- /jest.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/jest.config.js -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/package.json -------------------------------------------------------------------------------- /reporterConfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/reporterConfig.json -------------------------------------------------------------------------------- /saddle.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/saddle.config.js -------------------------------------------------------------------------------- /scenario/Grammar.pegjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/Grammar.pegjs -------------------------------------------------------------------------------- /scenario/SCENARIO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/SCENARIO.md -------------------------------------------------------------------------------- /scenario/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/package.json -------------------------------------------------------------------------------- /scenario/script/generate_parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/script/generate_parser -------------------------------------------------------------------------------- /scenario/script/repl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/script/repl -------------------------------------------------------------------------------- /scenario/script/tsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/script/tsc -------------------------------------------------------------------------------- /scenario/script/webpack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/script/webpack -------------------------------------------------------------------------------- /scenario/src/Accounts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Accounts.ts -------------------------------------------------------------------------------- /scenario/src/Action.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Action.ts -------------------------------------------------------------------------------- /scenario/src/Assert.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Assert.ts -------------------------------------------------------------------------------- /scenario/src/Builder/CTokenBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/CTokenBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/CTokenDelegateBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/CTokenDelegateBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/CompBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/CompBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/ComptrollerImplBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/ComptrollerImplBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/Erc20Builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/Erc20Builder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/InterestRateModelBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/InterestRateModelBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/PriceOracleBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/PriceOracleBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/PriceOracleProxyBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/PriceOracleProxyBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Builder/UnitrollerBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Builder/UnitrollerBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Command.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Command.ts -------------------------------------------------------------------------------- /scenario/src/Completer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Completer.ts -------------------------------------------------------------------------------- /scenario/src/Contract.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract.ts -------------------------------------------------------------------------------- /scenario/src/Contract/CErc20Delegate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/CErc20Delegate.ts -------------------------------------------------------------------------------- /scenario/src/Contract/CErc20Delegator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/CErc20Delegator.ts -------------------------------------------------------------------------------- /scenario/src/Contract/CToken.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/CToken.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Comp.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Comp.ts -------------------------------------------------------------------------------- /scenario/src/Contract/CompoundLens.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/CompoundLens.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Comptroller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Comptroller.ts -------------------------------------------------------------------------------- /scenario/src/Contract/ComptrollerImpl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/ComptrollerImpl.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Counter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Counter.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Erc20.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Erc20.ts -------------------------------------------------------------------------------- /scenario/src/Contract/InterestRateModel.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/InterestRateModel.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Pot.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Pot.ts -------------------------------------------------------------------------------- /scenario/src/Contract/PriceOracle.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/PriceOracle.ts -------------------------------------------------------------------------------- /scenario/src/Contract/PriceOracleProxy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/PriceOracleProxy.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Unitroller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Unitroller.ts -------------------------------------------------------------------------------- /scenario/src/Contract/Vat.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/Vat.ts -------------------------------------------------------------------------------- /scenario/src/Contract/builder.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Contract/builder.js -------------------------------------------------------------------------------- /scenario/src/ContractLookup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/ContractLookup.ts -------------------------------------------------------------------------------- /scenario/src/CoreEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/CoreEvent.ts -------------------------------------------------------------------------------- /scenario/src/CoreValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/CoreValue.ts -------------------------------------------------------------------------------- /scenario/src/Encoding.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Encoding.ts -------------------------------------------------------------------------------- /scenario/src/ErrorReporter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/ErrorReporter.ts -------------------------------------------------------------------------------- /scenario/src/ErrorReporterConstants.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/ErrorReporterConstants.ts -------------------------------------------------------------------------------- /scenario/src/Event.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event.ts -------------------------------------------------------------------------------- /scenario/src/Event/AssertionEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/AssertionEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/CTokenDelegateEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/CTokenDelegateEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/CTokenEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/CTokenEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/CompEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/CompEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/ComptrollerEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/ComptrollerEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/ComptrollerImplEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/ComptrollerImplEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/Erc20Event.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/Erc20Event.ts -------------------------------------------------------------------------------- /scenario/src/Event/ExpectationEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/ExpectationEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/InterestRateModelEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/InterestRateModelEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/InvariantEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/InvariantEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/PriceOracleEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/PriceOracleEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/PriceOracleProxyEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/PriceOracleProxyEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/TrxEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/TrxEvent.ts -------------------------------------------------------------------------------- /scenario/src/Event/UnitrollerEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Event/UnitrollerEvent.ts -------------------------------------------------------------------------------- /scenario/src/EventBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/EventBuilder.ts -------------------------------------------------------------------------------- /scenario/src/Expectation.ts: -------------------------------------------------------------------------------- 1 | 2 | export interface Expectation { 3 | checker: (world: any) => Promise; 4 | } 5 | -------------------------------------------------------------------------------- /scenario/src/Expectation/ChangesExpectation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Expectation/ChangesExpectation.ts -------------------------------------------------------------------------------- /scenario/src/Expectation/RemainsExpectation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Expectation/RemainsExpectation.ts -------------------------------------------------------------------------------- /scenario/src/File.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/File.ts -------------------------------------------------------------------------------- /scenario/src/Formatter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Formatter.ts -------------------------------------------------------------------------------- /scenario/src/Help.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Help.ts -------------------------------------------------------------------------------- /scenario/src/HistoricReadline.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/HistoricReadline.ts -------------------------------------------------------------------------------- /scenario/src/Hypothetical.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Hypothetical.ts -------------------------------------------------------------------------------- /scenario/src/Invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Invariant.ts -------------------------------------------------------------------------------- /scenario/src/Invariant/RemainsInvariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Invariant/RemainsInvariant.ts -------------------------------------------------------------------------------- /scenario/src/Invariant/StaticInvariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Invariant/StaticInvariant.ts -------------------------------------------------------------------------------- /scenario/src/Invariant/SuccessInvariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Invariant/SuccessInvariant.ts -------------------------------------------------------------------------------- /scenario/src/Invokation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Invokation.ts -------------------------------------------------------------------------------- /scenario/src/Macro.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Macro.ts -------------------------------------------------------------------------------- /scenario/src/Networks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Networks.ts -------------------------------------------------------------------------------- /scenario/src/Parser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Parser.ts -------------------------------------------------------------------------------- /scenario/src/Printer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Printer.ts -------------------------------------------------------------------------------- /scenario/src/Repl.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Repl.d.ts -------------------------------------------------------------------------------- /scenario/src/Repl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Repl.ts -------------------------------------------------------------------------------- /scenario/src/Runner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Runner.ts -------------------------------------------------------------------------------- /scenario/src/Settings.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Settings.ts -------------------------------------------------------------------------------- /scenario/src/Utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Utils.ts -------------------------------------------------------------------------------- /scenario/src/Value.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value.ts -------------------------------------------------------------------------------- /scenario/src/Value/CTokenDelegateValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/CTokenDelegateValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/CTokenValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/CTokenValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/CompValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/CompValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/ComptrollerImplValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/ComptrollerImplValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/ComptrollerValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/ComptrollerValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/Erc20Value.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/Erc20Value.ts -------------------------------------------------------------------------------- /scenario/src/Value/InterestRateModelValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/InterestRateModelValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/PriceOracleProxyValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/PriceOracleProxyValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/PriceOracleValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/PriceOracleValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/UnitrollerValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/UnitrollerValue.ts -------------------------------------------------------------------------------- /scenario/src/Value/UserValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Value/UserValue.ts -------------------------------------------------------------------------------- /scenario/src/Verify.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Verify.ts -------------------------------------------------------------------------------- /scenario/src/Web.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/Web.ts -------------------------------------------------------------------------------- /scenario/src/World.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/src/World.ts -------------------------------------------------------------------------------- /scenario/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/tsconfig.json -------------------------------------------------------------------------------- /scenario/webpack.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/webpack.config.js -------------------------------------------------------------------------------- /scenario/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/scenario/yarn.lock -------------------------------------------------------------------------------- /script/README.md: -------------------------------------------------------------------------------- 1 | Scripts to make common developer tasks easy to type. 2 | -------------------------------------------------------------------------------- /script/build_scenarios: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/build_scenarios -------------------------------------------------------------------------------- /script/compile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/compile -------------------------------------------------------------------------------- /script/coverage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/coverage -------------------------------------------------------------------------------- /script/format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/format -------------------------------------------------------------------------------- /script/lint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/lint -------------------------------------------------------------------------------- /script/saddle/contractSizer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/saddle/contractSizer.js -------------------------------------------------------------------------------- /script/saddle/deployToken.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/saddle/deployToken.js -------------------------------------------------------------------------------- /script/saddle/flywheelInit.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/saddle/flywheelInit.js -------------------------------------------------------------------------------- /script/saddle/matchToken.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/saddle/matchToken.js -------------------------------------------------------------------------------- /script/saddle/support/tokenConfig.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/saddle/support/tokenConfig.js -------------------------------------------------------------------------------- /script/saddle/verifyToken.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/saddle/verifyToken.js -------------------------------------------------------------------------------- /script/scen/deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/scen/deploy.scen -------------------------------------------------------------------------------- /script/scen/scriptFlywheel.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/scen/scriptFlywheel.scen -------------------------------------------------------------------------------- /script/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/test -------------------------------------------------------------------------------- /script/verify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/script/verify -------------------------------------------------------------------------------- /spec/certora/CErc20/accrueInterest.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/accrueInterest.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/admin.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/admin.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/borrowAndRepayFresh.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/borrowAndRepayFresh.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/eip20.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/eip20.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/exchangeRate.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/exchangeRate.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/frame.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/frame.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/liquidateFresh.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/liquidateFresh.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/mintAndRedeemFresh.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/mintAndRedeemFresh.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20/rounding.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/CErc20/rounding.cvl -------------------------------------------------------------------------------- /spec/certora/CErc20Delegator: -------------------------------------------------------------------------------- 1 | CErc20 -------------------------------------------------------------------------------- /spec/certora/Comp/search.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/Comp/search.cvl -------------------------------------------------------------------------------- /spec/certora/Comp/transfer.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/Comp/transfer.cvl -------------------------------------------------------------------------------- /spec/certora/Comptroller/comptroller.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/Comptroller/comptroller.cvl -------------------------------------------------------------------------------- /spec/certora/Math/int.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/Math/int.cvl -------------------------------------------------------------------------------- /spec/certora/Maximillion/maximillion.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/Maximillion/maximillion.cvl -------------------------------------------------------------------------------- /spec/certora/cDAI/mcd.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/cDAI/mcd.cvl -------------------------------------------------------------------------------- /spec/certora/contracts/CDaiDelegateCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CDaiDelegateCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/CErc20DelegateCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CErc20DelegateCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/CErc20DelegatorCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CErc20DelegatorCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/CErc20ImmutableCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CErc20ImmutableCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/CEtherCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CEtherCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/CTokenCollateral.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CTokenCollateral.sol -------------------------------------------------------------------------------- /spec/certora/contracts/CompCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/CompCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/ComptrollerCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/ComptrollerCertora.sol -------------------------------------------------------------------------------- /spec/certora/contracts/InterestRateModelModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/InterestRateModelModel.sol -------------------------------------------------------------------------------- /spec/certora/contracts/MathCertora.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.5.16; 2 | 3 | contract MathCertora {} 4 | -------------------------------------------------------------------------------- /spec/certora/contracts/PriceOracleModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/PriceOracleModel.sol -------------------------------------------------------------------------------- /spec/certora/contracts/SimulationInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/SimulationInterface.sol -------------------------------------------------------------------------------- /spec/certora/contracts/UnderlyingModelNonStandard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/UnderlyingModelNonStandard.sol -------------------------------------------------------------------------------- /spec/certora/contracts/UnderlyingModelWithFee.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/certora/contracts/UnderlyingModelWithFee.sol -------------------------------------------------------------------------------- /spec/scenario/AddReserves.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/AddReserves.scen -------------------------------------------------------------------------------- /spec/scenario/Borrow.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Borrow.scen -------------------------------------------------------------------------------- /spec/scenario/Borrow.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Borrow.scen.old -------------------------------------------------------------------------------- /spec/scenario/BorrowBalance.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/BorrowBalance.scen -------------------------------------------------------------------------------- /spec/scenario/BorrowCap.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/BorrowCap.scen -------------------------------------------------------------------------------- /spec/scenario/BorrowEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/BorrowEth.scen -------------------------------------------------------------------------------- /spec/scenario/BorrowWBTC.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/BorrowWBTC.scen -------------------------------------------------------------------------------- /spec/scenario/BreakLiquidate.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/BreakLiquidate.scen -------------------------------------------------------------------------------- /spec/scenario/CTokenAdmin.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/CTokenAdmin.scen -------------------------------------------------------------------------------- /spec/scenario/ChangeDelegate.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/ChangeDelegate.scen -------------------------------------------------------------------------------- /spec/scenario/CollateralCap.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/CollateralCap.scen -------------------------------------------------------------------------------- /spec/scenario/Comp/Comp.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Comp/Comp.scen -------------------------------------------------------------------------------- /spec/scenario/CoreMacros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/CoreMacros -------------------------------------------------------------------------------- /spec/scenario/EnterExitMarkets.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/EnterExitMarkets.scen -------------------------------------------------------------------------------- /spec/scenario/ExchangeRate.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/ExchangeRate.scen -------------------------------------------------------------------------------- /spec/scenario/Fee.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Fee.scen -------------------------------------------------------------------------------- /spec/scenario/Gas.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Gas.scen -------------------------------------------------------------------------------- /spec/scenario/HypotheticalAccountLiquidity.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/HypotheticalAccountLiquidity.scen -------------------------------------------------------------------------------- /spec/scenario/InKindLiquidation.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/InKindLiquidation.scen -------------------------------------------------------------------------------- /spec/scenario/Liquidate.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Liquidate.scen.old -------------------------------------------------------------------------------- /spec/scenario/Mint.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Mint.scen -------------------------------------------------------------------------------- /spec/scenario/MintEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/MintEth.scen -------------------------------------------------------------------------------- /spec/scenario/MintWBTC.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/MintWBTC.scen -------------------------------------------------------------------------------- /spec/scenario/ReEntry.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/ReEntry.scen -------------------------------------------------------------------------------- /spec/scenario/Redeem.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Redeem.scen -------------------------------------------------------------------------------- /spec/scenario/RedeemEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RedeemEth.scen -------------------------------------------------------------------------------- /spec/scenario/RedeemUnderlying.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RedeemUnderlying.scen -------------------------------------------------------------------------------- /spec/scenario/RedeemUnderlyingEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RedeemUnderlyingEth.scen -------------------------------------------------------------------------------- /spec/scenario/RedeemUnderlyingWBTC.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RedeemUnderlyingWBTC.scen -------------------------------------------------------------------------------- /spec/scenario/RedeemWBTC.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RedeemWBTC.scen -------------------------------------------------------------------------------- /spec/scenario/ReduceReserves.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/ReduceReserves.scen -------------------------------------------------------------------------------- /spec/scenario/RepayBorrow.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RepayBorrow.scen -------------------------------------------------------------------------------- /spec/scenario/RepayBorrowEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RepayBorrowEth.scen -------------------------------------------------------------------------------- /spec/scenario/RepayBorrowWBTC.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/RepayBorrowWBTC.scen -------------------------------------------------------------------------------- /spec/scenario/Seize.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Seize.scen -------------------------------------------------------------------------------- /spec/scenario/SetComptroller.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/SetComptroller.scen -------------------------------------------------------------------------------- /spec/scenario/Supply.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Supply.scen.old -------------------------------------------------------------------------------- /spec/scenario/SupplyCap.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/SupplyCap.scen -------------------------------------------------------------------------------- /spec/scenario/Tether.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Tether.scen -------------------------------------------------------------------------------- /spec/scenario/TokenTransfer.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/TokenTransfer.scen -------------------------------------------------------------------------------- /spec/scenario/Unitroller.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Unitroller.scen -------------------------------------------------------------------------------- /spec/scenario/Withdraw.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/Withdraw.scen.old -------------------------------------------------------------------------------- /spec/scenario/WrappedNative.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/scenario/WrappedNative.scen -------------------------------------------------------------------------------- /spec/sim/0001-comp-distribution-patch/deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0001-comp-distribution-patch/deploy.scen -------------------------------------------------------------------------------- /spec/sim/0001-comp-distribution-patch/hypothetical_upgrade.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0001-comp-distribution-patch/hypothetical_upgrade.scen -------------------------------------------------------------------------------- /spec/sim/0001-comp-distribution-patch/hypothetical_upgrade_post_deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0001-comp-distribution-patch/hypothetical_upgrade_post_deploy.scen -------------------------------------------------------------------------------- /spec/sim/0001-comp-distribution-patch/hypothetical_upgrade_post_propose.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0001-comp-distribution-patch/hypothetical_upgrade_post_propose.scen -------------------------------------------------------------------------------- /spec/sim/0003-borrow-caps-patch/deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0003-borrow-caps-patch/deploy.scen -------------------------------------------------------------------------------- /spec/sim/0003-borrow-caps-patch/hypothetical_upgrade.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0003-borrow-caps-patch/hypothetical_upgrade.scen -------------------------------------------------------------------------------- /spec/sim/0003-borrow-caps-patch/hypothetical_upgrade_post_deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0003-borrow-caps-patch/hypothetical_upgrade_post_deploy.scen -------------------------------------------------------------------------------- /spec/sim/0003-borrow-caps-patch/hypothetical_upgrade_post_propose.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/spec/sim/0003-borrow-caps-patch/hypothetical_upgrade_post_propose.scen -------------------------------------------------------------------------------- /tests/CompilerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/CompilerTest.js -------------------------------------------------------------------------------- /tests/Comptroller/accountLiquidityTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/accountLiquidityTest.js -------------------------------------------------------------------------------- /tests/Comptroller/adminTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/adminTest.js -------------------------------------------------------------------------------- /tests/Comptroller/assetsListTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/assetsListTest.js -------------------------------------------------------------------------------- /tests/Comptroller/comptrollerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/comptrollerTest.js -------------------------------------------------------------------------------- /tests/Comptroller/liquidateCalculateAmountSeizeTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/liquidateCalculateAmountSeizeTest.js -------------------------------------------------------------------------------- /tests/Comptroller/pauseGuardianTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/pauseGuardianTest.js -------------------------------------------------------------------------------- /tests/Comptroller/proxiedComptrollerV1Test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/proxiedComptrollerV1Test.js -------------------------------------------------------------------------------- /tests/Comptroller/unitrollerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Comptroller/unitrollerTest.js -------------------------------------------------------------------------------- /tests/Contracts/CErc20Harness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/CErc20Harness.sol -------------------------------------------------------------------------------- /tests/Contracts/CEtherHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/CEtherHarness.sol -------------------------------------------------------------------------------- /tests/Contracts/CompHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/CompHarness.sol -------------------------------------------------------------------------------- /tests/Contracts/ComptrollerHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ComptrollerHarness.sol -------------------------------------------------------------------------------- /tests/Contracts/ComptrollerScenario.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ComptrollerScenario.sol -------------------------------------------------------------------------------- /tests/Contracts/ComptrollerScenarioG1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ComptrollerScenarioG1.sol -------------------------------------------------------------------------------- /tests/Contracts/ComptrollerScenarioG2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ComptrollerScenarioG2.sol -------------------------------------------------------------------------------- /tests/Contracts/ComptrollerScenarioG3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ComptrollerScenarioG3.sol -------------------------------------------------------------------------------- /tests/Contracts/ComptrollerScenarioG4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ComptrollerScenarioG4.sol -------------------------------------------------------------------------------- /tests/Contracts/Const.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/Const.sol -------------------------------------------------------------------------------- /tests/Contracts/Counter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/Counter.sol -------------------------------------------------------------------------------- /tests/Contracts/ERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/ERC20.sol -------------------------------------------------------------------------------- /tests/Contracts/EvilToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/EvilToken.sol -------------------------------------------------------------------------------- /tests/Contracts/FalseMarker.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/FalseMarker.sol -------------------------------------------------------------------------------- /tests/Contracts/FaucetToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/FaucetToken.sol -------------------------------------------------------------------------------- /tests/Contracts/FeeToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/FeeToken.sol -------------------------------------------------------------------------------- /tests/Contracts/FixedPriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/FixedPriceOracle.sol -------------------------------------------------------------------------------- /tests/Contracts/FlashloanReceiver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/FlashloanReceiver.sol -------------------------------------------------------------------------------- /tests/Contracts/InterestRateModelHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/InterestRateModelHarness.sol -------------------------------------------------------------------------------- /tests/Contracts/MockAggregator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/MockAggregator.sol -------------------------------------------------------------------------------- /tests/Contracts/MockLiquidityMining.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/MockLiquidityMining.sol -------------------------------------------------------------------------------- /tests/Contracts/MockMasterChef.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/MockMasterChef.sol -------------------------------------------------------------------------------- /tests/Contracts/MockSushiBar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/MockSushiBar.sol -------------------------------------------------------------------------------- /tests/Contracts/Structs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/Structs.sol -------------------------------------------------------------------------------- /tests/Contracts/TetherInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/TetherInterface.sol -------------------------------------------------------------------------------- /tests/Contracts/WBTC.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/WBTC.sol -------------------------------------------------------------------------------- /tests/Contracts/WrappedNative.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Contracts/WrappedNative.sol -------------------------------------------------------------------------------- /tests/Errors.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Errors.js -------------------------------------------------------------------------------- /tests/Flywheel/FlywheelTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Flywheel/FlywheelTest.js -------------------------------------------------------------------------------- /tests/Fuzz/CompWheelFuzzTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Fuzz/CompWheelFuzzTest.js -------------------------------------------------------------------------------- /tests/Governance/CompScenarioTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Governance/CompScenarioTest.js -------------------------------------------------------------------------------- /tests/Governance/CompTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Governance/CompTest.js -------------------------------------------------------------------------------- /tests/Jest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Jest.js -------------------------------------------------------------------------------- /tests/Lens/CompoundLensTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Lens/CompoundLensTest.js -------------------------------------------------------------------------------- /tests/Matchers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Matchers.js -------------------------------------------------------------------------------- /tests/Models/InterestRateModelTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Models/InterestRateModelTest.js -------------------------------------------------------------------------------- /tests/PriceOracleProxyTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/PriceOracleProxyTest.js -------------------------------------------------------------------------------- /tests/Scenario.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Scenario.js -------------------------------------------------------------------------------- /tests/SpinaramaTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/SpinaramaTest.js -------------------------------------------------------------------------------- /tests/Tokens/accrueInterestTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/accrueInterestTest.js -------------------------------------------------------------------------------- /tests/Tokens/adminTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/adminTest.js -------------------------------------------------------------------------------- /tests/Tokens/attack.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/attack.js -------------------------------------------------------------------------------- /tests/Tokens/borrowAndRepayCCTokenTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/borrowAndRepayCCTokenTest.js -------------------------------------------------------------------------------- /tests/Tokens/borrowAndRepayCEtherTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/borrowAndRepayCEtherTest.js -------------------------------------------------------------------------------- /tests/Tokens/borrowAndRepayCSLPTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/borrowAndRepayCSLPTest.js -------------------------------------------------------------------------------- /tests/Tokens/borrowAndRepayCWrappedNativeTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/borrowAndRepayCWrappedNativeTest.js -------------------------------------------------------------------------------- /tests/Tokens/borrowAndRepayTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/borrowAndRepayTest.js -------------------------------------------------------------------------------- /tests/Tokens/cTokenAdminTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/cTokenAdminTest.js -------------------------------------------------------------------------------- /tests/Tokens/cTokenTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/cTokenTest.js -------------------------------------------------------------------------------- /tests/Tokens/flashloanCWrappedNativeTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/flashloanCWrappedNativeTest.js -------------------------------------------------------------------------------- /tests/Tokens/flashloanTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/flashloanTest.js -------------------------------------------------------------------------------- /tests/Tokens/implementationTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/implementationTest.js -------------------------------------------------------------------------------- /tests/Tokens/liquidateTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/liquidateTest.js -------------------------------------------------------------------------------- /tests/Tokens/mintAndRedeemCCTokenTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/mintAndRedeemCCTokenTest.js -------------------------------------------------------------------------------- /tests/Tokens/mintAndRedeemCCollateralCapTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/mintAndRedeemCCollateralCapTest.js -------------------------------------------------------------------------------- /tests/Tokens/mintAndRedeemCEtherTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/mintAndRedeemCEtherTest.js -------------------------------------------------------------------------------- /tests/Tokens/mintAndRedeemCSLPTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/mintAndRedeemCSLPTest.js -------------------------------------------------------------------------------- /tests/Tokens/mintAndRedeemCWrappedNativeTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/mintAndRedeemCWrappedNativeTest.js -------------------------------------------------------------------------------- /tests/Tokens/mintAndRedeemTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/mintAndRedeemTest.js -------------------------------------------------------------------------------- /tests/Tokens/registerAndUnregisterCollateral.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/registerAndUnregisterCollateral.js -------------------------------------------------------------------------------- /tests/Tokens/reservesTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/reservesTest.js -------------------------------------------------------------------------------- /tests/Tokens/safeTokenTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/safeTokenTest.js -------------------------------------------------------------------------------- /tests/Tokens/setComptrollerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/setComptrollerTest.js -------------------------------------------------------------------------------- /tests/Tokens/setInterestRateModelTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/setInterestRateModelTest.js -------------------------------------------------------------------------------- /tests/Tokens/transferTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Tokens/transferTest.js -------------------------------------------------------------------------------- /tests/Utils/Compound.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Utils/Compound.js -------------------------------------------------------------------------------- /tests/Utils/EIP712.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Utils/EIP712.js -------------------------------------------------------------------------------- /tests/Utils/Ethereum.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Utils/Ethereum.js -------------------------------------------------------------------------------- /tests/Utils/InfuraProxy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Utils/InfuraProxy.js -------------------------------------------------------------------------------- /tests/Utils/JS.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/tests/Utils/JS.js -------------------------------------------------------------------------------- /yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CreamFi/compound-protocol/HEAD/yarn.lock --------------------------------------------------------------------------------