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

Tags: keccak384/comet

Tags

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 (compound-finance#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 (compound-finance#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