r4bbit aae4e6ab2f !refactor(RewardsStreamerMP): remove VaultData.mpStaked ...

After doing somme work on merging `compound()` into `updateVault()`, we
noticed that both, `vault.mpStaked` and `vault.mpAccrued` are always
equal.

Therefore, we're removing `vault.mpStaked`.

BREAKING CHANGE:

- `VaultData.mpStaked` no longer exists, use `VaultData.mpAccrued`
instead.

- `Compound(address,uint256)` is now `VaultUpdated(address,uint256,uint256)`

- `AccountLeft(address)` is now `VaultLeft(address)`

2025-03-26 12:18:38 +01:00

..

confs

refactor(specs): exclude rule instead of including other rules

2025-03-07 15:05:27 +01:00

helpers

chore(certora): add sumOfBalancesIsTotalStaked invariant

2024-10-14 12:04:52 +02:00

specs

!refactor(RewardsStreamerMP): remove VaultData.mpStaked

2025-03-26 12:18:38 +01:00