8000 Tags · compound-finance/comet · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: compound-finance/comet

Tags

audit/oz/original-weth-price-feeds

Toggle audit/oz/original-weth-price-feeds's commit message 
Use IPriceFeed in Comet

audit/oz/original-weth-proposal

Toggle audit/oz/original-weth-proposal's commit message 
Update the supply caps based on Gauntlet recommendations (#629)

https://hackmd.io/wncIvkFTReWUe2AMMK2ezA?view

audit/oz/original-weth-deployment

Toggle audit/oz/original-weth-deployment's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update the collateral params based on Gauntlet recommendations (#628)

https://hackmd.io/wncIvkFTReWUe2AMMK2ezA?view

marker/last-constant-reserve-factor-ir-model

Toggle marker/last-constant-reserve-factor-ir-model's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
[L-06] Add slither check for potential function clashes in Configurat…

…or contract (#430)

Add slither analysis check

audit/chain-security/v0.1

Toggle audit/chain-security/v0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Comet balance constraint + Constraint and Transfer scenarios + Comet …

…Solidity bug fix (#247)

This PR includes the following changes:

-Constraint for setting the Comet balance of an actor
-More transfer scenarios and new set of scenarios for testing constraints
-Fixing a Solidity underflow bug that was caught by the transfer scenarios
-Librarifying some code between the BalanceConstraint and -CometBalanceConstraint

Example of CometBalanceConstraint usage:

```
scenario(
  'Comet#comet balance constraint',
  {
    cometBalances: {
      albert: { $base: 100, $asset0: 10 }, // in units of asset, not wei
    },
  },
```
0