compound-finance / comet

91%

main: 87%

LAST BUILD ON BRANCH certora

branch: certora

CHANGE BRANCH

x

Reset

Sync Branches

• certora
• ajb413/docs-move
• ajb413/docs-update
• ajb413/docs-updates
• ajb413/documentation
• ajb413/more-docs
• aryan/add-scenarios
• aryeh/parallelize-spider-children
• aryeh/spider-json-relationships
• aryeh/spider-proxies
• aryeh/token-sourcer
• hayesgm/allow-by-sig-scenarios
• hayesgm/bases-cli
• hayesgm/better-caching-maybe
• hayesgm/better-dm-deploy
• hayesgm/comet-scenarios
• hayesgm/comet-to-deploy-ts
• hayesgm/context-properties
• hayesgm/debug-caching
• hayesgm/debug-scenario-admins
• hayesgm/deployment-manager
• hayesgm/fuzz-scenario
• hayesgm/fuzzing-rebased
• hayesgm/kovan
• hayesgm/kovan-deploy
• hayesgm/loader
• hayesgm/migration-constraint
• hayesgm/modern-constraint
• hayesgm/refactor-deployment-manager
• hayesgm/remote-token
• hayesgm/run-scenarios-in-ci
• hayesgm/run-spider-before-scenarios
• hayesgm/scenario-assets
• hayesgm/seacrest
• hayesgm/spider-development
• hayesgm/supply-constraints
• hayesgm/test-results
• hayesgm/test-test-results
• hayesgm/testnet-tokens
• hayesgm/tsconfig
• hayesgm/vendoza
• jflatow/M03
• jflatow/N08
• jflatow/accrue
• jflatow/accrue-get-reserves
• jflatow/approval
• jflatow/approve-governor
• jflatow/audit-notes
• jflatow/bump-solc
• jflatow/cleanup
• jflatow/clone-gov
• jflatow/config
• jflatow/configurator
• jflatow/consensus
• jflatow/consensus-internalize
• jflatow/consensus-no-pass-totals
• jflatow/coverage
• jflatow/deploy
• jflatow/deploy-testnet
• jflatow/deploy-tools
• jflatow/deploy-tools-eg
• jflatow/discount
• jflatow/erc20
• jflatow/events
• jflatow/fix-pk-accounts
• jflatow/gas-savings
• jflatow/hardhat-2.9
• jflatow/idempotent-deploy
• jflatow/kevin/governance-scens
• jflatow/license
• jflatow/limit-supply-rate
• jflatow/migrations
• jflatow/nit
• jflatow/no-init-storage
• jflatow/no-liquidation-margin
• jflatow/patch
• jflatow/patches
• jflatow/pre-pack
• jflatow/present-256
• jflatow/protocol
• jflatow/protocol-on-liquidatable
• jflatow/rewards
• jflatow/rounding
• jflatow/run-spider
• jflatow/scenario
• jflatow/settable-name
• jflatow/silver/mint-to-fauceteer-migrations
• jflatow/silver/scenario-fixes
• jflatow/transfer-deposits
• jflatow/updates
• jflatow/utilization
• jflatow/vestige
• jflatow/via-ir
• jflatow/warnings
• jflatow/withdraw-reserves
• kevin+jflatow/deploy
• kevin/L04
• kevin/N02
• kevin/N11
• kevin/absorb-name
• kevin/add-back-signer
• kevin/address-comments
• kevin/allowthis-erc20
• kevin/assembly-loop
• kevin/avalanche
• kevin/balance-constraint
• kevin/bounds-tests
• kevin/bulker-migration
• kevin/bulker-sweep
• kevin/buy-collat
• kevin/cleanup
• kevin/cleanup-xxx
• kevin/combine-deploy-scripts
• kevin/comet-balance-constraint
• kevin/comet-keyword-constraint
• kevin/comet-visibility
• kevin/configurator
• kevin/configurator-alt
• kevin/configurator-docs
• kevin/configurator-setters
• kevin/contract-changes
• kevin/count-accrue-gas
• kevin/debug-fuzz-scen
• kevin/delay-verification
• kevin/deploy-new-ir-model
• kevin/deploy-new-rewards
• kevin/documentation
• kevin/draft-debug
• kevin/dummy-branch-for-gas-benchmark
• kevin/erc20-events
• kevin/fault-tolerant-deploys
• kevin/fix-accrue
• kevin/fix-admin
• kevin/fix-ci
• kevin/fix-coverage
• kevin/fix-decimals
• kevin/fix-kovan-scen
• kevin/fix-overflow
• kevin/fix-principal
• kevin/fix-proposal-constraint
• kevin/fix-quote-collateral-math
• kevin/fix-reporting
• kevin/fix-rewards
• kevin/fix-scen-runner
• kevin/fix-scen-runner-2
• kevin/fix-spider
• kevin/fix-supply-collat
• kevin/fix-utilization-constraint
• kevin/fix-withdraw-reserves
• kevin/fuzz-scenario
• kevin/gas-scenarios
• kevin/gov-simple
• kevin/governance-scens
• kevin/implicit-scaling
• kevin/improve-deployment-scripts
• kevin/indexed-events
• kevin/initialize-rewards
• kevin/ir-models
• kevin/ir-scen-fix
• kevin/ir-scenarios
• kevin/l2-bulker
• kevin/lens-rewards
• kevin/mainnet-deploy-2
• kevin/mainnet-proposal
• kevin/max-repay
• kevin/max-withdraw
• kevin/more-configurator-setters
• kevin/more-scens
• kevin/more-tests-max
• kevin/more-transfer-scens
• kevin/move-gov-permission-2
• kevin/new-events
• kevin/new-rates
• kevin/optimize
• kevin/oz-followup
• kevin/pause-checks
• kevin/pause-guardian
• kevin/payable-timelock
• kevin/pointer-names
• kevin/pointer-names+rebase
• kevin/proxy
• kevin/pv-safemath
• kevin/pv-simple
• kevin/remove-upgrade-trues
• kevin/reorganize
• kevin/rewards-event
• kevin/rewards-scenarios
• kevin/rigorous-unit-tests
• kevin/rounding-bug
• kevin/sanity-check-liquidationfactor
• kevin/scen-runner-fix
• kevin/set-rewards-config
• kevin/shared-configurator
• kevin/simulate-rates
• kevin/sizing
• kevin/solution-followup
• kevin/spider
• kevin/split-interface
• kevin/storefront-split
• kevin/supply-scen
• kevin/typechain
• kevin/typos
• kevin/update-diagram
• kevin/update-docs
• kevin/update-hardhat-etherscan
• kevin/update-interface-version
• kevin/upgrade-flow-scenario
• kevin/validate-liquidationfactor
• kevin/verification-script
• kevin/withdraw-reserves-neg
• kevin/withdraw-scen
• main
• mykelp/mumbai
• scott-silver-patch-1
• silver+toni/after-review-changes
• silver+toni/liquidation-bot
• silver/06-07-deploy-testnet
• silver/06-27-testnet-deploy
• silver/167-update-asset-in-bug
• silver/194-update-assets-in-during-absorb
• silver/5-borrow-gas-check
• silver/8-15
• silver/XXX-unit-tests
• silver/accrual-decimals
• silver/add-and-remove-governor-simple-admins
• silver/admin-name-change
• silver/allow-by-sig
• silver/allow-by-sig-2
• silver/allow-by-sig-address-zero
• silver/allow-by-sig-address-zero-demo
• silver/allow-function
• silver/allow-test
• silver/asset-fns-proof-of-concept
• silver/asset-scale-test
• silver/base-world
• silver/bump-solidity-coverage-version
• silver/buy-collateral-reentrancy
• silver/ci-unit-test
• silver/comet-ext-tests
• silver/comet-math-tests
• silver/comet-trace
• silver/comment-out-fuji-rewards
• silver/configurator-diagram-v2
• silver/constructor-sanity-checks
• silver/curry-compose
• silver/custom-error-unauthorized
• silver/deleeter
• silver/delete-base-balance-of
• silver/delete-deploy-liquidator
• silver/delete-liquidator-abi
• silver/delete-liquidator-root
• silver/delete-prepare-step
• silver/delete-quiet
• silver/delete-remaining-raffle-stuff
• silver/deploy-liquidation-bot-with-uniswap-pools
• silver/deploy-testnet-break-cache
• silver/deploy-testnets-readme
• silver/development-base
• silver/disable-solhint-errors
• silver/duplicate-definition
• silver/enable-xxx-supply-scenarios
• silver/enact-governor-simple-upgrade
• silver/eslint-2
• silver/ethers-log-level
• silver/evil-token
• silver/failing-on-main
• silver/fauceteer
• silver/fix-ci
• silver/fix-ci-fork
• silver/fix-prettier-command
• silver/flaky-tests
• silver/functioning-testnet-scenarios
• silver/get-liquidation-margin
• silver/git-hooks
• silver/grounded-pragma
• silver/high-gas-solutions
• silver/hre-base
• silver/improve-coverage-2
• silver/increase-test-coverage
• silver/infura-key-required
• silver/infura-key-scenario
• silver/inheritance-diagram
• silver/is-allowed
• silver/is-borrow-collateralized
• silver/is-borrow-collateralized-2
• silver/is-borrow-collateralized-optimizations
• silver/issue-139-transferBase-bug
• silver/jflatow/kevin/N11
• silver/l2-configurator-diagram
• silver/lint-only-modified-contracts
• silver/liquidation-bot
• silver/liquidation-bot-events
• silver/liquidation-bot-fix-test
• silver/liquidation-bot-linting
• silver/liquidation-bot-recipient
• silver/liquidation-bot-vendoza
• silver/liquidation-scenario
• silver/main-comet-tests
• silver/max-old-space-size
• silver/memoized-etherscan-import
• silver/mint-to-fauceteer-migrations
• silver/mnemonic-fix
• silver/more-XXX-unit-tests
• silver/n-05-initialize-docstring
• silver/network-name-override
• silver/nonce-manager
• silver/nonce-manager-v2
• silver/nvmrc
• silver/optimize-get-asset-offset
• silver/oz-n-09_naming-issues
• silver/oz-n01-anyone-can-set-basetrackingindex
• silver/pause-flag-variables
• silver/prettier-adjustments
• silver/prettier-eslint
• silver/price-oracle
• silver/raffle-scenario
• silver/raffle-time
• silver/raffle-time-travel
• silver/raffle-time-travel-debug
• silver/ran-0-scenarios-fix
• silver/reduce-wbtc-mint
• silver/remove-CI-deployment-cache
• silver/remove-hard-coded-network-arg
• silver/remove-totals-basic-proof-of-concept
• silver/required-environment-variables
• silver/revert-testnet-upgrade
• silver/scenario-boilerplate
• silver/scenario-config
• silver/scenario-fixes
• silver/scott-signer
• silver/set-reward-config
• silver/snowtrace-throttling-error
• silver/spider-clean
• silver/spider-extension
• silver/spider-multiple-markets
• silver/spider-nondestructive
• silver/supply-reentrancy
• silver/testnet-cache-breaker
• silver/throttling-error-message
• silver/tracking-supply-index
• silver/unchecked-math
• silver/undefined-contracts
• silver/update-assets-in
• silver/update-testnet-deployments
• silver/update-testnet-deployments-v2
• silver/utilization-constraint-updates
• silver/v3-not-c3
• silver/vacuous-change
• silver/wbtc-e-failure
• silver/withdraw-reserves
• toni/add-dependency-caching
• toni/after-review-changes
• toni/asset-info
• toni/asteroid
• toni/asteroid2
• toni/compaction
• toni/delete-comment
• toni/fast-rewards-fix
• toni/fixes
• toni/improve-coverage
• toni/lb-fixes-before-final-merge
• toni/logic-fixes
• toni/mainnet-scenario-test
• toni/misc
• toni/more-scenarios
• toni/prop-constraint
• toni/proposal-constraint
• toni/scenarios
• toni/scenarios2
• toni/slither
• toni/start-protocol

Merge a6feeac44 into 9715a8804