Code

Adding CDP stake related invariants#791

Code

Merged

wtj2021 merged 11 commits intofeat/fixPartialRedempStakeebtc-protocol/ebtc:feat/fixPartialRedempStakefrom adding-invariants-around-stakeebtc-protocol/ebtc:adding-invariants-around-stakeCopy head branch name to clipboardMar 8, 2024

+142-5

Commits

Commits on Mar 6, 2024

• Adding CDP stake related invariants

  wtj2021

  committed
  4361708

• cannot redeem last CDP

  wtj2021

  committed
  c45acde

Commits on Mar 7, 2024

• debugging CDPM-09

  wtj2021

  committed
  06ca316

• removing CDPM-9 from partialLiquidate

  wtj2021

  committed
  28ef54a

• updating properties

  wtj2021

  committed
  394e181

• fixing invariants

  wtj2021

  committed
  1d9c933

• removing bad import

  wtj2021

  committed
  96b13f1

• setting solc version

  wtj2021

  committed
  8490e1e

• adding remapping

  wtj2021

  committed
  4022621

• remapping

  wtj2021

  committed
  e58c1f3

Commits on Mar 8, 2024

• removing remappings

  wtj2021

  committed
  d423cea