├── .gitattributes ├── .gitignore ├── LICENSE ├── README.md ├── audit ├── Certificate of Compliance.pdf ├── Final_Report.pdf ├── MixBytes.png └── README.md ├── compound-aragon-app ├── .babelrc ├── .eslintignore ├── .eslintrc.json ├── .gitattributes ├── .gitignore ├── .ipfsignore ├── .solcover.js ├── .soliumignore ├── .soliumrc.json ├── LICENSE ├── app │ ├── .babelrc │ ├── index.html │ ├── package.json │ ├── public │ │ └── meta │ │ │ ├── details.md │ │ │ ├── icon.svg │ │ │ ├── screenshot-1.png │ │ │ ├── screenshot-2.png │ │ │ └── screenshot-3.png │ └── src │ │ ├── App.js │ │ ├── abi │ │ ├── agent-abi.json │ │ ├── cerc20-abi.json │ │ ├── erc20-abi.json │ │ ├── erc20-dai-abi.json │ │ └── proxy-deposit-event.json │ │ ├── app-state-reducer.js │ │ ├── assets │ │ └── supply-icon.svg │ │ ├── components │ │ ├── GenericInputPanel.js │ │ ├── balances │ │ │ ├── BalanceToken.js │ │ │ ├── Balances.js │ │ │ └── side-panel-input │ │ │ │ ├── Deposit.js │ │ │ │ ├── TransferPanel.js │ │ │ │ ├── Withdraw.js │ │ │ │ └── token-selector │ │ │ │ ├── AddressBadge.js │ │ │ │ ├── TokenSelector.js │ │ │ │ └── TokenSelectorInstance.js │ │ ├── settings │ │ │ └── Settings.js │ │ └── supply │ │ │ ├── CompoundTokenDetails.js │ │ │ ├── Supply.js │ │ │ ├── SupplyActivity.js │ │ │ ├── SupplyDetails.js │ │ │ └── side-panel-input │ │ │ ├── RedeemInput.js │ │ │ ├── SupplyInput.js │ │ │ └── TransferPanel.js │ │ ├── hooks │ │ ├── app-logic.js │ │ ├── redeem-panel.js │ │ ├── side-panels.js │ │ ├── supply.js │ │ ├── tabs.js │ │ └── transfer-panels.js │ │ ├── index.js │ │ ├── lib │ │ ├── abi-utils.js │ │ ├── format-utils.js │ │ ├── math-utils.js │ │ ├── retry-every.js │ │ ├── rx-error-operators.js │ │ ├── shared-constants.js │ │ ├── token-utils.js │ │ ├── verified-tokens.js │ │ └── web3-utils.js │ │ ├── script.js │ │ └── web3 │ │ ├── AgentData.js │ │ ├── CompoundContract.js │ │ ├── CompoundData.js │ │ └── ExternalContracts.js ├── arapp.json ├── contracts │ ├── CErc20Interface.sol │ ├── Compound.sol │ ├── Template.sol │ ├── lib │ │ └── AddressArrayUtils.sol │ └── misc │ │ ├── Migrations.sol │ │ ├── MockCErc20.sol │ │ ├── TestERC20.sol │ │ └── TestImports.sol ├── fresh-install.md ├── manifest.json ├── migrations │ ├── 1_initial_migration.js │ └── 2_deploy_contracts.js ├── package.json ├── raw-cli-script.md ├── test │ ├── CompoundAppTest.js │ └── helpers │ │ ├── ChainSetup.js │ │ ├── helpers.js │ │ └── rpc.js └── truffle.js ├── compound-protocol ├── .dockerignore ├── .gitignore ├── .solcover.js ├── .soliumignore ├── .soliumrc.json ├── Dockerfile ├── LICENSE ├── aragon-app-scripts │ ├── basicUsage.js │ ├── borrowAndRepayDai.js │ ├── giveAcc0Dai.js │ └── mineBlocks.js ├── contracts │ ├── AnchorPriceOracle.sol │ ├── CErc20.sol │ ├── CEther.sol │ ├── CToken.sol │ ├── CarefulMath.sol │ ├── Comptroller.sol │ ├── ComptrollerInterface.sol │ ├── ComptrollerStorage.sol │ ├── EIP20Interface.sol │ ├── EIP20NonStandardInterface.sol │ ├── ErrorReporter.sol │ ├── Exponential.sol │ ├── FaucetToken.sol │ ├── InterestRateModel.sol │ ├── Maximillion.sol │ ├── PriceOracle.sol │ ├── PriceOracleProxy.sol │ ├── ReentrancyGuard.sol │ ├── SimplePriceOracle.sol │ ├── Unitroller.sol │ └── WhitePaperInterestRateModel.sol ├── docs │ ├── CompoundProtocol.pdf │ └── CompoundWhitepaper.pdf ├── migrations │ └── .gitkeep ├── networks │ ├── .gitkeep │ ├── README.md │ ├── kovan-abi.json │ ├── kovan.json │ ├── mainnet-abi.json │ ├── mainnet.json │ ├── rinkeby-abi.json │ ├── rinkeby.json │ ├── ropsten-abi.json │ └── ropsten.json ├── package.json ├── reporterConfig.json ├── scenario │ ├── Grammar.pegjs │ ├── SCENARIO.md │ ├── package.json │ ├── scen │ │ ├── deploy.scen │ │ ├── dev │ │ │ ├── accrue.scen │ │ │ ├── mint.scen │ │ │ ├── oracle.scen │ │ │ ├── redeem.scen │ │ │ └── tokens.scen │ │ ├── prod │ │ │ ├── deploy.scen │ │ │ ├── oracle.scen │ │ │ ├── zero_comptroller_deploy.scen │ │ │ └── zero_comptroller_recome.scen │ │ ├── set_price_oracle.scen │ │ └── verify_contracts.scen │ ├── script │ │ ├── generate_parser │ │ ├── repl │ │ ├── tsc │ │ └── webpack │ ├── src │ │ ├── Accounts.ts │ │ ├── Action.ts │ │ ├── Artifact.ts │ │ ├── Assert.ts │ │ ├── Builder │ │ │ ├── CTokenBuilder.ts │ │ │ ├── ComptrollerImplBuilder.ts │ │ │ ├── Erc20Builder.ts │ │ │ ├── InterestRateModelBuilder.ts │ │ │ ├── MaximillionBuilder.ts │ │ │ ├── PriceOracleBuilder.ts │ │ │ ├── PriceOracleProxyBuilder.ts │ │ │ └── UnitrollerBuilder.ts │ │ ├── Command.ts │ │ ├── Completer.ts │ │ ├── Contract.ts │ │ ├── Contract │ │ │ ├── CToken.ts │ │ │ ├── Comptroller.ts │ │ │ ├── ComptrollerImpl.ts │ │ │ ├── Erc20.ts │ │ │ ├── InterestRateModel.ts │ │ │ ├── Maximillion.ts │ │ │ ├── PriceOracle.ts │ │ │ ├── PriceOracleProxy.ts │ │ │ └── Unitroller.ts │ │ ├── ContractLookup.ts │ │ ├── CoreEvent.ts │ │ ├── CoreValue.ts │ │ ├── Encoding.ts │ │ ├── ErrorReporter.ts │ │ ├── ErrorReporterConstants.ts │ │ ├── Event.ts │ │ ├── Event │ │ │ ├── AssertionEvent.ts │ │ │ ├── CTokenEvent.ts │ │ │ ├── ComptrollerEvent.ts │ │ │ ├── ComptrollerImplEvent.ts │ │ │ ├── Erc20Event.ts │ │ │ ├── ExpectationEvent.ts │ │ │ ├── InterestRateModelEvent.ts │ │ │ ├── InvariantEvent.ts │ │ │ ├── MaximillionEvent.ts │ │ │ ├── PriceOracleEvent.ts │ │ │ ├── PriceOracleProxyEvent.ts │ │ │ ├── TrxEvent.ts │ │ │ └── UnitrollerEvent.ts │ │ ├── Expectation.ts │ │ ├── Expectation │ │ │ ├── ChangesExpectation.ts │ │ │ └── RemainsExpectation.ts │ │ ├── File.ts │ │ ├── Formatter.ts │ │ ├── Help.ts │ │ ├── HistoricReadline.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 │ │ │ ├── CTokenValue.ts │ │ │ ├── ComptrollerImplValue.ts │ │ │ ├── ComptrollerValue.ts │ │ │ ├── Erc20Value.ts │ │ │ ├── InterestRateModelValue.ts │ │ │ ├── MaximillionValue.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 │ ├── certora │ │ └── Dockerfile │ ├── console │ ├── coverage │ ├── ganache │ ├── ganache-coverage │ ├── lint │ ├── scenario │ ├── test │ ├── utility │ │ ├── setup-local │ │ ├── solidity_skip.patch │ │ ├── truffle-cli.patch │ │ └── truffle_solidity_caching │ └── verify ├── spec │ ├── formal │ │ ├── CompoundIgnoreExtCalls.spclnk │ │ ├── EIP20.spclnk │ │ ├── Liquidate.spclnk │ │ ├── Maximillion.spclnk │ │ ├── MintRedeemBorrowRepay.spclnk │ │ ├── _setMarketPolicyHook.cvl │ │ ├── _setMarketPriceOracle.cvl │ │ ├── accrueInterest.cvl │ │ ├── admin_setCollateralFactor.cvl │ │ ├── borrowAndRepayFresh.cvl │ │ ├── compound.cvl │ │ ├── contracts │ │ │ ├── CErc20Certora.sol │ │ │ ├── CEtherCertora.sol │ │ │ ├── CTokenCollateral.sol │ │ │ ├── ComptrollerModel.sol │ │ │ ├── MaximillionCertora.sol │ │ │ ├── SimulationInterface.sol │ │ │ └── UnderlyingModelNonStandard.sol │ │ ├── dummy.cvl │ │ ├── eip20.cvl │ │ ├── frame.cvl │ │ ├── general.cvl │ │ ├── liquidateFresh.cvl │ │ ├── maximillion.cvl │ │ └── mintAndRedeemFresh.cvl │ └── scenario │ │ ├── Borrow.scen │ │ ├── Borrow.scen.old │ │ ├── BorrowBalance.scen │ │ ├── BorrowEth.scen │ │ ├── BreakLiquidate.scen │ │ ├── CTokenAdmin.scen │ │ ├── CoreMacros │ │ ├── EnterExitMarkets.scen │ │ ├── Excel.scen.old │ │ ├── ExchangeRate.scen │ │ ├── HypotheticalAccountLiquidity.scen │ │ ├── Liquidate.scen │ │ ├── Liquidate.scen.old │ │ ├── LiquidateEthBorrow.scen │ │ ├── LiquidateEthCollateral.scen │ │ ├── Mint.scen │ │ ├── MintEth.scen │ │ ├── ReEntry.scen │ │ ├── Redeem.scen │ │ ├── RedeemEth.scen │ │ ├── RedeemUnderlying.scen │ │ ├── RedeemUnderlyingEth.scen │ │ ├── ReduceReserves.scen │ │ ├── RepayBorrow.scen │ │ ├── RepayBorrowEth.scen │ │ ├── Seize.scen │ │ ├── SetComptroller.scen │ │ ├── Supply.scen.old │ │ ├── TokenTransfer.scen │ │ ├── Unitroller.scen │ │ ├── Withdraw.scen.old │ │ └── admin │ │ ├── setMarketPolicyHook.scen.old │ │ └── setMarketPriceOracle.scen.old ├── test │ ├── CarefulMathTest.sol │ ├── Comptroller │ │ ├── accountLiquidityTest.js │ │ ├── adminTest.js │ │ ├── assetsListTest.js │ │ ├── comptrollerTest.js │ │ ├── liquidateCalculateAmountSeizeTest.js │ │ ├── proxiedComptrollerV1Test.js │ │ └── unitrollerTest.js │ ├── Errors.js │ ├── ExponentialTest.sol │ ├── MaximillionTest.js │ ├── Models │ │ └── interestRateModelTest.js │ ├── PriceOracleProxyTest.js │ ├── PriceOracleTest.js │ ├── ScenarioTest.js │ ├── SpinaramaTest.js │ ├── Tokens │ │ ├── accrueInterestTest.js │ │ ├── adminTest.js │ │ ├── borrowAndRepayCEtherTest.js │ │ ├── borrowAndRepayTest.js │ │ ├── cTokenTest.js │ │ ├── liquidateTest.js │ │ ├── mintAndRedeemCEtherTest.js │ │ ├── mintAndRedeemTest.js │ │ ├── reservesTest.js │ │ ├── safeTokenTest.js │ │ ├── setComptrollerTest.js │ │ ├── setInterestRateModelTest.js │ │ └── transferTest.js │ ├── Utils │ │ ├── Compound.js │ │ ├── JS.js │ │ └── MochaTruffle.js │ └── contracts │ │ ├── AnchorPriceOracleHarness.sol │ │ ├── BasicToken.sol │ │ ├── BasicTokenNS.sol │ │ ├── BoolComptroller.sol │ │ ├── CErc20Harness.sol │ │ ├── CErc20Scenario.sol │ │ ├── CEtherHarness.sol │ │ ├── CEtherScenario.sol │ │ ├── CEvil.sol │ │ ├── ComptrollerBorked.sol │ │ ├── ComptrollerHarness.sol │ │ ├── ComptrollerScenario.sol │ │ ├── DSValueHarness.sol │ │ ├── EIP20Harness.sol │ │ ├── EIP20NonCompliantHarness.sol │ │ ├── EIP20NonStandardReturnHarness.sol │ │ ├── EIP20NonStandardThrowHarness.sol │ │ ├── ERC20.sol │ │ ├── ERC20Basic.sol │ │ ├── ERC20BasicNS.sol │ │ ├── ERC20NS.sol │ │ ├── ERC20NonView.sol │ │ ├── EchoTypesComptroller.sol │ │ ├── EvilToken.sol │ │ ├── FalseMarkerMethodComptroller.sol │ │ ├── FalseMarkerMethodInterestRateModel.sol │ │ ├── FaucetNonStandardToken.sol │ │ ├── FaucetToken.sol │ │ ├── FaucetTokenReEntrantHarness.sol │ │ ├── FixedPriceOracle.sol │ │ ├── InterestRateModelHarness.sol │ │ ├── MathHelpers.sol │ │ ├── NonStandardToken.sol │ │ ├── NotPriceOracle.sol │ │ ├── SafeMath.sol │ │ └── StandardToken.sol └── truffle.js └── local-install.md /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/README.md -------------------------------------------------------------------------------- /audit/Certificate of Compliance.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/audit/Certificate of Compliance.pdf -------------------------------------------------------------------------------- /audit/Final_Report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/audit/Final_Report.pdf -------------------------------------------------------------------------------- /audit/MixBytes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/audit/MixBytes.png -------------------------------------------------------------------------------- /audit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/audit/README.md -------------------------------------------------------------------------------- /compound-aragon-app/.babelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.babelrc -------------------------------------------------------------------------------- /compound-aragon-app/.eslintignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.eslintignore -------------------------------------------------------------------------------- /compound-aragon-app/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.eslintrc.json -------------------------------------------------------------------------------- /compound-aragon-app/.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity 2 | -------------------------------------------------------------------------------- /compound-aragon-app/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.gitignore -------------------------------------------------------------------------------- /compound-aragon-app/.ipfsignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.ipfsignore -------------------------------------------------------------------------------- /compound-aragon-app/.solcover.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.solcover.js -------------------------------------------------------------------------------- /compound-aragon-app/.soliumignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | contracts/Migrations.sol 3 | -------------------------------------------------------------------------------- /compound-aragon-app/.soliumrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/.soliumrc.json -------------------------------------------------------------------------------- /compound-aragon-app/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/LICENSE -------------------------------------------------------------------------------- /compound-aragon-app/app/.babelrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/.babelrc -------------------------------------------------------------------------------- /compound-aragon-app/app/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/index.html -------------------------------------------------------------------------------- /compound-aragon-app/app/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/package.json -------------------------------------------------------------------------------- /compound-aragon-app/app/public/meta/details.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/public/meta/details.md -------------------------------------------------------------------------------- /compound-aragon-app/app/public/meta/icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/public/meta/icon.svg -------------------------------------------------------------------------------- /compound-aragon-app/app/public/meta/screenshot-1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/public/meta/screenshot-1.png -------------------------------------------------------------------------------- /compound-aragon-app/app/public/meta/screenshot-2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/public/meta/screenshot-2.png -------------------------------------------------------------------------------- /compound-aragon-app/app/public/meta/screenshot-3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/public/meta/screenshot-3.png -------------------------------------------------------------------------------- /compound-aragon-app/app/src/App.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/App.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/abi/agent-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/abi/agent-abi.json -------------------------------------------------------------------------------- /compound-aragon-app/app/src/abi/cerc20-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/abi/cerc20-abi.json -------------------------------------------------------------------------------- /compound-aragon-app/app/src/abi/erc20-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/abi/erc20-abi.json -------------------------------------------------------------------------------- /compound-aragon-app/app/src/abi/erc20-dai-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/abi/erc20-dai-abi.json -------------------------------------------------------------------------------- /compound-aragon-app/app/src/abi/proxy-deposit-event.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/abi/proxy-deposit-event.json -------------------------------------------------------------------------------- /compound-aragon-app/app/src/app-state-reducer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/app-state-reducer.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/assets/supply-icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/assets/supply-icon.svg -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/GenericInputPanel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/GenericInputPanel.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/BalanceToken.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/BalanceToken.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/Balances.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/Balances.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/side-panel-input/Deposit.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/side-panel-input/Deposit.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/side-panel-input/TransferPanel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/side-panel-input/TransferPanel.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/side-panel-input/Withdraw.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/side-panel-input/Withdraw.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/side-panel-input/token-selector/AddressBadge.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/side-panel-input/token-selector/AddressBadge.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/side-panel-input/token-selector/TokenSelector.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/side-panel-input/token-selector/TokenSelector.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/balances/side-panel-input/token-selector/TokenSelectorInstance.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/balances/side-panel-input/token-selector/TokenSelectorInstance.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/settings/Settings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/settings/Settings.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/CompoundTokenDetails.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/CompoundTokenDetails.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/Supply.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/Supply.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/SupplyActivity.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/SupplyActivity.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/SupplyDetails.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/SupplyDetails.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/side-panel-input/RedeemInput.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/side-panel-input/RedeemInput.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/side-panel-input/SupplyInput.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/side-panel-input/SupplyInput.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/components/supply/side-panel-input/TransferPanel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/components/supply/side-panel-input/TransferPanel.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/hooks/app-logic.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/hooks/app-logic.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/hooks/redeem-panel.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/hooks/redeem-panel.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/hooks/side-panels.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/hooks/side-panels.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/hooks/supply.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/hooks/supply.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/hooks/tabs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/hooks/tabs.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/hooks/transfer-panels.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/hooks/transfer-panels.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/index.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/abi-utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/abi-utils.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/format-utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/format-utils.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/math-utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/math-utils.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/retry-every.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/retry-every.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/rx-error-operators.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/rx-error-operators.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/shared-constants.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/shared-constants.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/token-utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/token-utils.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/verified-tokens.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/verified-tokens.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/lib/web3-utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/lib/web3-utils.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/script.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/script.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/web3/AgentData.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/web3/AgentData.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/web3/CompoundContract.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/web3/CompoundContract.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/web3/CompoundData.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/web3/CompoundData.js -------------------------------------------------------------------------------- /compound-aragon-app/app/src/web3/ExternalContracts.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/app/src/web3/ExternalContracts.js -------------------------------------------------------------------------------- /compound-aragon-app/arapp.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/arapp.json -------------------------------------------------------------------------------- /compound-aragon-app/contracts/CErc20Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/CErc20Interface.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/Compound.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/Compound.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/Template.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/Template.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/lib/AddressArrayUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/lib/AddressArrayUtils.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/misc/Migrations.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/misc/Migrations.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/misc/MockCErc20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/misc/MockCErc20.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/misc/TestERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/misc/TestERC20.sol -------------------------------------------------------------------------------- /compound-aragon-app/contracts/misc/TestImports.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/contracts/misc/TestImports.sol -------------------------------------------------------------------------------- /compound-aragon-app/fresh-install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/fresh-install.md -------------------------------------------------------------------------------- /compound-aragon-app/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/manifest.json -------------------------------------------------------------------------------- /compound-aragon-app/migrations/1_initial_migration.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/migrations/1_initial_migration.js -------------------------------------------------------------------------------- /compound-aragon-app/migrations/2_deploy_contracts.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/migrations/2_deploy_contracts.js -------------------------------------------------------------------------------- /compound-aragon-app/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/package.json -------------------------------------------------------------------------------- /compound-aragon-app/raw-cli-script.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/raw-cli-script.md -------------------------------------------------------------------------------- /compound-aragon-app/test/CompoundAppTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/test/CompoundAppTest.js -------------------------------------------------------------------------------- /compound-aragon-app/test/helpers/ChainSetup.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/test/helpers/ChainSetup.js -------------------------------------------------------------------------------- /compound-aragon-app/test/helpers/helpers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/test/helpers/helpers.js -------------------------------------------------------------------------------- /compound-aragon-app/test/helpers/rpc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/test/helpers/rpc.js -------------------------------------------------------------------------------- /compound-aragon-app/truffle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-aragon-app/truffle.js -------------------------------------------------------------------------------- /compound-protocol/.dockerignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | test 3 | *.DS_Store -------------------------------------------------------------------------------- /compound-protocol/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/.gitignore -------------------------------------------------------------------------------- /compound-protocol/.solcover.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/.solcover.js -------------------------------------------------------------------------------- /compound-protocol/.soliumignore: -------------------------------------------------------------------------------- 1 | node_modules -------------------------------------------------------------------------------- /compound-protocol/.soliumrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/.soliumrc.json -------------------------------------------------------------------------------- /compound-protocol/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/Dockerfile -------------------------------------------------------------------------------- /compound-protocol/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/LICENSE -------------------------------------------------------------------------------- /compound-protocol/aragon-app-scripts/basicUsage.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/aragon-app-scripts/basicUsage.js -------------------------------------------------------------------------------- /compound-protocol/aragon-app-scripts/borrowAndRepayDai.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/aragon-app-scripts/borrowAndRepayDai.js -------------------------------------------------------------------------------- /compound-protocol/aragon-app-scripts/giveAcc0Dai.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/aragon-app-scripts/giveAcc0Dai.js -------------------------------------------------------------------------------- /compound-protocol/aragon-app-scripts/mineBlocks.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/aragon-app-scripts/mineBlocks.js -------------------------------------------------------------------------------- /compound-protocol/contracts/AnchorPriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/AnchorPriceOracle.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/CErc20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/CErc20.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/CEther.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/CEther.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/CToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/CToken.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/CarefulMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/CarefulMath.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/Comptroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/Comptroller.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/ComptrollerInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/ComptrollerInterface.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/ComptrollerStorage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/ComptrollerStorage.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/EIP20Interface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/EIP20Interface.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/EIP20NonStandardInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/EIP20NonStandardInterface.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/ErrorReporter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/ErrorReporter.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/Exponential.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/Exponential.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/FaucetToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/FaucetToken.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/InterestRateModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/InterestRateModel.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/Maximillion.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/Maximillion.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/PriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/PriceOracle.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/PriceOracleProxy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/PriceOracleProxy.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/ReentrancyGuard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/ReentrancyGuard.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/SimplePriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/SimplePriceOracle.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/Unitroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/Unitroller.sol -------------------------------------------------------------------------------- /compound-protocol/contracts/WhitePaperInterestRateModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/contracts/WhitePaperInterestRateModel.sol -------------------------------------------------------------------------------- /compound-protocol/docs/CompoundProtocol.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/docs/CompoundProtocol.pdf -------------------------------------------------------------------------------- /compound-protocol/docs/CompoundWhitepaper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/docs/CompoundWhitepaper.pdf -------------------------------------------------------------------------------- /compound-protocol/migrations/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /compound-protocol/networks/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /compound-protocol/networks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/README.md -------------------------------------------------------------------------------- /compound-protocol/networks/kovan-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/kovan-abi.json -------------------------------------------------------------------------------- /compound-protocol/networks/kovan.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/kovan.json -------------------------------------------------------------------------------- /compound-protocol/networks/mainnet-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/mainnet-abi.json -------------------------------------------------------------------------------- /compound-protocol/networks/mainnet.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/mainnet.json -------------------------------------------------------------------------------- /compound-protocol/networks/rinkeby-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/rinkeby-abi.json -------------------------------------------------------------------------------- /compound-protocol/networks/rinkeby.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/rinkeby.json -------------------------------------------------------------------------------- /compound-protocol/networks/ropsten-abi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/ropsten-abi.json -------------------------------------------------------------------------------- /compound-protocol/networks/ropsten.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/networks/ropsten.json -------------------------------------------------------------------------------- /compound-protocol/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/package.json -------------------------------------------------------------------------------- /compound-protocol/reporterConfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/reporterConfig.json -------------------------------------------------------------------------------- /compound-protocol/scenario/Grammar.pegjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/Grammar.pegjs -------------------------------------------------------------------------------- /compound-protocol/scenario/SCENARIO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/SCENARIO.md -------------------------------------------------------------------------------- /compound-protocol/scenario/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/package.json -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/deploy.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/dev/accrue.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/dev/accrue.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/dev/mint.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/dev/mint.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/dev/oracle.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/dev/oracle.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/dev/redeem.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/dev/redeem.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/dev/tokens.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/dev/tokens.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/prod/deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/prod/deploy.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/prod/oracle.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/prod/oracle.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/prod/zero_comptroller_deploy.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/prod/zero_comptroller_deploy.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/prod/zero_comptroller_recome.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/prod/zero_comptroller_recome.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/set_price_oracle.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/set_price_oracle.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/scen/verify_contracts.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/scen/verify_contracts.scen -------------------------------------------------------------------------------- /compound-protocol/scenario/script/generate_parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/script/generate_parser -------------------------------------------------------------------------------- /compound-protocol/scenario/script/repl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/script/repl -------------------------------------------------------------------------------- /compound-protocol/scenario/script/tsc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/script/tsc -------------------------------------------------------------------------------- /compound-protocol/scenario/script/webpack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/script/webpack -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Accounts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Accounts.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Action.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Action.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Artifact.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Artifact.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Assert.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Assert.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/CTokenBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/CTokenBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/ComptrollerImplBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/ComptrollerImplBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/Erc20Builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/Erc20Builder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/InterestRateModelBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/InterestRateModelBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/MaximillionBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/MaximillionBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/PriceOracleBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/PriceOracleBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/PriceOracleProxyBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/PriceOracleProxyBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Builder/UnitrollerBuilder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Builder/UnitrollerBuilder.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Command.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Command.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Completer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Completer.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/CToken.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/CToken.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/Comptroller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/Comptroller.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/ComptrollerImpl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/ComptrollerImpl.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/Erc20.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/Erc20.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/InterestRateModel.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/InterestRateModel.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/Maximillion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/Maximillion.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/PriceOracle.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/PriceOracle.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/PriceOracleProxy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/PriceOracleProxy.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Contract/Unitroller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Contract/Unitroller.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/ContractLookup.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/ContractLookup.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/CoreEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/CoreEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/CoreValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/CoreValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Encoding.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Encoding.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/ErrorReporter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/ErrorReporter.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/ErrorReporterConstants.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/ErrorReporterConstants.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/AssertionEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/AssertionEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/CTokenEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/CTokenEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/ComptrollerEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/ComptrollerEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/ComptrollerImplEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/ComptrollerImplEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/Erc20Event.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/Erc20Event.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/ExpectationEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/ExpectationEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/InterestRateModelEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/InterestRateModelEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/InvariantEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/InvariantEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/MaximillionEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/MaximillionEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/PriceOracleEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/PriceOracleEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/PriceOracleProxyEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/PriceOracleProxyEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/TrxEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/TrxEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Event/UnitrollerEvent.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Event/UnitrollerEvent.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Expectation.ts: -------------------------------------------------------------------------------- 1 | 2 | export interface Expectation { 3 | checker: (world: any) => Promise; 4 | } 5 | -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Expectation/ChangesExpectation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Expectation/ChangesExpectation.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Expectation/RemainsExpectation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Expectation/RemainsExpectation.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/File.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/File.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Formatter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Formatter.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Help.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Help.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/HistoricReadline.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/HistoricReadline.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Invariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Invariant.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Invariant/RemainsInvariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Invariant/RemainsInvariant.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Invariant/StaticInvariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Invariant/StaticInvariant.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Invariant/SuccessInvariant.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Invariant/SuccessInvariant.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Invokation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Invokation.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Macro.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Macro.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Networks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Networks.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Parser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Parser.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Printer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Printer.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Repl.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Repl.d.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Repl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Repl.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Runner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Runner.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Settings.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Settings.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Utils.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/CTokenValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/CTokenValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/ComptrollerImplValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/ComptrollerImplValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/ComptrollerValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/ComptrollerValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/Erc20Value.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/Erc20Value.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/InterestRateModelValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/InterestRateModelValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/MaximillionValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/MaximillionValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/PriceOracleProxyValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/PriceOracleProxyValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/PriceOracleValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/PriceOracleValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/UnitrollerValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/UnitrollerValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Value/UserValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Value/UserValue.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Verify.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Verify.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/Web.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/Web.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/src/World.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/src/World.ts -------------------------------------------------------------------------------- /compound-protocol/scenario/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/tsconfig.json -------------------------------------------------------------------------------- /compound-protocol/scenario/webpack.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/webpack.config.js -------------------------------------------------------------------------------- /compound-protocol/scenario/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/scenario/yarn.lock -------------------------------------------------------------------------------- /compound-protocol/script/README.md: -------------------------------------------------------------------------------- 1 | Scripts to make common developer tasks easy to type. 2 | -------------------------------------------------------------------------------- /compound-protocol/script/certora/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/certora/Dockerfile -------------------------------------------------------------------------------- /compound-protocol/script/console: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/console -------------------------------------------------------------------------------- /compound-protocol/script/coverage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/coverage -------------------------------------------------------------------------------- /compound-protocol/script/ganache: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/ganache -------------------------------------------------------------------------------- /compound-protocol/script/ganache-coverage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/ganache-coverage -------------------------------------------------------------------------------- /compound-protocol/script/lint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/lint -------------------------------------------------------------------------------- /compound-protocol/script/scenario: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/scenario -------------------------------------------------------------------------------- /compound-protocol/script/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/test -------------------------------------------------------------------------------- /compound-protocol/script/utility/setup-local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/utility/setup-local -------------------------------------------------------------------------------- /compound-protocol/script/utility/solidity_skip.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/utility/solidity_skip.patch -------------------------------------------------------------------------------- /compound-protocol/script/utility/truffle-cli.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/utility/truffle-cli.patch -------------------------------------------------------------------------------- /compound-protocol/script/utility/truffle_solidity_caching: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/utility/truffle_solidity_caching -------------------------------------------------------------------------------- /compound-protocol/script/verify: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/script/verify -------------------------------------------------------------------------------- /compound-protocol/spec/formal/CompoundIgnoreExtCalls.spclnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/CompoundIgnoreExtCalls.spclnk -------------------------------------------------------------------------------- /compound-protocol/spec/formal/EIP20.spclnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/EIP20.spclnk -------------------------------------------------------------------------------- /compound-protocol/spec/formal/Liquidate.spclnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/Liquidate.spclnk -------------------------------------------------------------------------------- /compound-protocol/spec/formal/Maximillion.spclnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/Maximillion.spclnk -------------------------------------------------------------------------------- /compound-protocol/spec/formal/MintRedeemBorrowRepay.spclnk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/MintRedeemBorrowRepay.spclnk -------------------------------------------------------------------------------- /compound-protocol/spec/formal/_setMarketPolicyHook.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/_setMarketPolicyHook.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/_setMarketPriceOracle.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/_setMarketPriceOracle.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/accrueInterest.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/accrueInterest.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/admin_setCollateralFactor.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/admin_setCollateralFactor.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/borrowAndRepayFresh.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/borrowAndRepayFresh.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/compound.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/compound.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/CErc20Certora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/CErc20Certora.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/CEtherCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/CEtherCertora.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/CTokenCollateral.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/CTokenCollateral.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/ComptrollerModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/ComptrollerModel.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/MaximillionCertora.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/MaximillionCertora.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/SimulationInterface.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/SimulationInterface.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/contracts/UnderlyingModelNonStandard.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/contracts/UnderlyingModelNonStandard.sol -------------------------------------------------------------------------------- /compound-protocol/spec/formal/dummy.cvl: -------------------------------------------------------------------------------- 1 | // hello 2 | -------------------------------------------------------------------------------- /compound-protocol/spec/formal/eip20.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/eip20.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/frame.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/frame.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/general.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/general.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/liquidateFresh.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/liquidateFresh.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/maximillion.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/maximillion.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/formal/mintAndRedeemFresh.cvl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/formal/mintAndRedeemFresh.cvl -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Borrow.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Borrow.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Borrow.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Borrow.scen.old -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/BorrowBalance.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/BorrowBalance.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/BorrowEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/BorrowEth.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/BreakLiquidate.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/BreakLiquidate.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/CTokenAdmin.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/CTokenAdmin.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/CoreMacros: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/CoreMacros -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/EnterExitMarkets.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/EnterExitMarkets.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Excel.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Excel.scen.old -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/ExchangeRate.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/ExchangeRate.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/HypotheticalAccountLiquidity.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/HypotheticalAccountLiquidity.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Liquidate.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Liquidate.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Liquidate.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Liquidate.scen.old -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/LiquidateEthBorrow.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/LiquidateEthBorrow.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/LiquidateEthCollateral.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/LiquidateEthCollateral.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Mint.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Mint.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/MintEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/MintEth.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/ReEntry.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/ReEntry.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Redeem.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Redeem.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/RedeemEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/RedeemEth.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/RedeemUnderlying.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/RedeemUnderlying.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/RedeemUnderlyingEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/RedeemUnderlyingEth.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/ReduceReserves.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/ReduceReserves.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/RepayBorrow.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/RepayBorrow.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/RepayBorrowEth.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/RepayBorrowEth.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Seize.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Seize.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/SetComptroller.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/SetComptroller.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Supply.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Supply.scen.old -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/TokenTransfer.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/TokenTransfer.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Unitroller.scen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Unitroller.scen -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/Withdraw.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/Withdraw.scen.old -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/admin/setMarketPolicyHook.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/admin/setMarketPolicyHook.scen.old -------------------------------------------------------------------------------- /compound-protocol/spec/scenario/admin/setMarketPriceOracle.scen.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/spec/scenario/admin/setMarketPriceOracle.scen.old -------------------------------------------------------------------------------- /compound-protocol/test/CarefulMathTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/CarefulMathTest.sol -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/accountLiquidityTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/accountLiquidityTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/adminTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/adminTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/assetsListTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/assetsListTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/comptrollerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/comptrollerTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/liquidateCalculateAmountSeizeTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/liquidateCalculateAmountSeizeTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/proxiedComptrollerV1Test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/proxiedComptrollerV1Test.js -------------------------------------------------------------------------------- /compound-protocol/test/Comptroller/unitrollerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Comptroller/unitrollerTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Errors.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Errors.js -------------------------------------------------------------------------------- /compound-protocol/test/ExponentialTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/ExponentialTest.sol -------------------------------------------------------------------------------- /compound-protocol/test/MaximillionTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/MaximillionTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Models/interestRateModelTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Models/interestRateModelTest.js -------------------------------------------------------------------------------- /compound-protocol/test/PriceOracleProxyTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/PriceOracleProxyTest.js -------------------------------------------------------------------------------- /compound-protocol/test/PriceOracleTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/PriceOracleTest.js -------------------------------------------------------------------------------- /compound-protocol/test/ScenarioTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/ScenarioTest.js -------------------------------------------------------------------------------- /compound-protocol/test/SpinaramaTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/SpinaramaTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/accrueInterestTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/accrueInterestTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/adminTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/adminTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/borrowAndRepayCEtherTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/borrowAndRepayCEtherTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/borrowAndRepayTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/borrowAndRepayTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/cTokenTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/cTokenTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/liquidateTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/liquidateTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/mintAndRedeemCEtherTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/mintAndRedeemCEtherTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/mintAndRedeemTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/mintAndRedeemTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/reservesTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/reservesTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/safeTokenTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/safeTokenTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/setComptrollerTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/setComptrollerTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/setInterestRateModelTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/setInterestRateModelTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Tokens/transferTest.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Tokens/transferTest.js -------------------------------------------------------------------------------- /compound-protocol/test/Utils/Compound.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Utils/Compound.js -------------------------------------------------------------------------------- /compound-protocol/test/Utils/JS.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Utils/JS.js -------------------------------------------------------------------------------- /compound-protocol/test/Utils/MochaTruffle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/Utils/MochaTruffle.js -------------------------------------------------------------------------------- /compound-protocol/test/contracts/AnchorPriceOracleHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/AnchorPriceOracleHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/BasicToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/BasicToken.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/BasicTokenNS.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/BasicTokenNS.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/BoolComptroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/BoolComptroller.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/CErc20Harness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/CErc20Harness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/CErc20Scenario.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/CErc20Scenario.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/CEtherHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/CEtherHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/CEtherScenario.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/CEtherScenario.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/CEvil.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/CEvil.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ComptrollerBorked.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ComptrollerBorked.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ComptrollerHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ComptrollerHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ComptrollerScenario.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ComptrollerScenario.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/DSValueHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/DSValueHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/EIP20Harness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/EIP20Harness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/EIP20NonCompliantHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/EIP20NonCompliantHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/EIP20NonStandardReturnHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/EIP20NonStandardReturnHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/EIP20NonStandardThrowHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/EIP20NonStandardThrowHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ERC20.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ERC20Basic.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ERC20Basic.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ERC20BasicNS.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ERC20BasicNS.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ERC20NS.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ERC20NS.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/ERC20NonView.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/ERC20NonView.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/EchoTypesComptroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/EchoTypesComptroller.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/EvilToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/EvilToken.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/FalseMarkerMethodComptroller.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/FalseMarkerMethodComptroller.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/FalseMarkerMethodInterestRateModel.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/FalseMarkerMethodInterestRateModel.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/FaucetNonStandardToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/FaucetNonStandardToken.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/FaucetToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/FaucetToken.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/FaucetTokenReEntrantHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/FaucetTokenReEntrantHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/FixedPriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/FixedPriceOracle.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/InterestRateModelHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/InterestRateModelHarness.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/MathHelpers.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/MathHelpers.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/NonStandardToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/NonStandardToken.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/NotPriceOracle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/NotPriceOracle.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/SafeMath.sol -------------------------------------------------------------------------------- /compound-protocol/test/contracts/StandardToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/test/contracts/StandardToken.sol -------------------------------------------------------------------------------- /compound-protocol/truffle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/compound-protocol/truffle.js -------------------------------------------------------------------------------- /local-install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/empowerthedao/compound-aragon-app/HEAD/local-install.md --------------------------------------------------------------------------------