Code

fix partial redemption stake update#789

Code

Merged

dapp-whisperer merged 17 commits intorelease-0.8ebtc-protocol/ebtc:release-0.8from feat/fixPartialRedempStakeebtc-protocol/ebtc:feat/fixPartialRedempStakeCopy head branch name to clipboardMar 10, 2024

+253-26

Commits

Commits on Mar 6, 2024

• fix partial redemption stake update

  rayeaster

  committed
  b84d323

• add update event for stake on failed partial redemption

  

  dapp-whisperer

  committed
  5a44f60

• 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

• Merge pull request #791 from ebtc-protocol/adding-invariants-around-stake

  Show description for 24d5a29
  wtj2021

  authored
  24d5a29

Commits on Mar 10, 2024

• Merge remote-tracking branch 'origin/release-0.8' into feat/fixPartialRedempStake

  

  dapp-whisperer

  committed
  e841fbc

• fix E2F redemption params

  

  dapp-whisperer

  committed
  5dc6669

• remove known broken test

  

  dapp-whisperer

  committed
  e5703ed