Code

feat: fuzzing, invariants, solvency#952

Code

Draft

tamtamchik wants to merge 29 commits intofeat/vaultslidofinance/core:feat/vaultsfrom feat/vaults-fuzzinglidofinance/core:feat/vaults-fuzzingCopy head branch name to clipboard

+1,365-1

Commits

Commits on Jan 10, 2025

• feat: test shareRate with fuzzing

  sergeyWh1te

  committed
  afc5fa1

  Copy full SHA for afc5fa1

Commits on Jan 13, 2025

• Merge branch 'feat/vaults' into feat/vaults-fuzzing-share-rate

  tamtamchik

  committed
  e772d2a

  Copy full SHA for e772d2a

• feat: test shareRate with fuzzing

  sergeyWh1te

  committed
  0b6fc5c

  Copy full SHA for 0b6fc5c

• feat: test shareRate with fuzzing

  sergeyWh1te

  committed
  6317957

  Copy full SHA for 6317957

• chore: some refactoring

  tamtamchik

  committed
  c289fb8

  Copy full SHA for c289fb8

Commits on Jan 14, 2025

• feat: test shareRate with fuzzing

  sergeyWh1te

  committed
  d79df96

  Copy full SHA for d79df96

Commits on Jan 16, 2025

• feat: fuzz oracleReport

  sergeyWh1te

  committed
  167c387

  Copy full SHA for 167c387

• chore: add oracle report related contracts

  tamtamchik

  committed
  2386b48

  Copy full SHA for 2386b48

• fix: accounting initialization

  tamtamchik

  committed
  79ecbbb

  Copy full SHA for 79ecbbb

• feat: added _sharesRequestedToBurn to fuzzing

  sergeyWh1te

  committed
  7fc5b7f

  Copy full SHA for 7fc5b7f

• feat: added _sharesRequestedToBurn to fuzzing

  sergeyWh1te

  committed
  c9f78d0

  Copy full SHA for c9f78d0

Commits on Jan 17, 2025

• feat: refactor fuzz.ProtocolDeployment

  sergeyWh1te

  committed
  166ef4b

  Copy full SHA for 166ef4b

• feat: fix incorrect timestamp for Report

  sergeyWh1te

  committed
  c39aeea

  Copy full SHA for c39aeea

Commits on Jan 20, 2025

• chore: add todos

  tamtamchik

  committed
  7d05ee2

  Copy full SHA for 7d05ee2

Commits on Jan 22, 2025

• feat: wip fuzz handleOracleReport

  sergeyWh1te

  committed
  1203e29

  Copy full SHA for 1203e29

Commits on Jan 23, 2025

• feat: fuzz clValidators after report

  sergeyWh1te

  committed
  6ae1888

  Copy full SHA for 6ae1888

• feat: try to get elRewards

  sergeyWh1te

  committed
  ea08979

  Copy full SHA for ea08979

Commits on Jan 29, 2025

• feat: invariant_handleOracleReport

  sergeyWh1te

  committed
  f7870a8

  Copy full SHA for f7870a8

Commits on Jan 30, 2025

• feat: invariant_handleOracleReport

  sergeyWh1te

  committed
  02ac654

  Copy full SHA for 02ac654

Commits on Jan 31, 2025

• feat: check invariant lido.transfer

  sergeyWh1te

  committed
  490652e

  Copy full SHA for 490652e

Commits on Feb 4, 2025

• feat: check invariant_vaultsDonAffectSharesRate

  sergeyWh1te

  committed
  8b88a72

  Copy full SHA for 8b88a72

Commits on Feb 10, 2025

• Merge remote-tracking branch 'origin/feat/vaults' into feat/vaults-fuzzing-share-rate

  Show description for 7f6f404
  tamtamchik

  committed
  7f6f404

  Copy full SHA for 7f6f404

• feat: stabilize tests

  tamtamchik

  committed
  e9a302d

  Copy full SHA for e9a302d

Commits on Feb 19, 2025

• Merge branch 'feat/vaults' into feat/vaults-fuzzing

  tamtamchik

  committed
  9a131aa

  Copy full SHA for 9a131aa

Commits on Feb 26, 2025

• feat: wip fuzzing shareRate

  sergeyWh1te

  committed
  5fa608a

  Copy full SHA for 5fa608a

• Merge branch 'feat/vaults' into feat/vaults-fuzzing

  tamtamchik

  committed
  e158cc0

  Copy full SHA for e158cc0

Commits on Feb 27, 2025

• fix: make test work again

  tamtamchik

  committed
  9dd9bea

  Copy full SHA for 9dd9bea

Commits on Feb 28, 2025

• feat: fuzzing shareRate

  sergeyWh1te

  committed
  2dfe89e

  Copy full SHA for 2dfe89e

• feat: fuzzing shareRate merge updates

  sergeyWh1te

  committed
  cf4de6c

  Copy full SHA for cf4de6c