Code

Certora fixes#96

Code

Merged

1kresh merged 3 commits intov1.1.0symbioticfi/core:v1.1.0from certora-fixessymbioticfi/core:certora-fixesCopy head branch name to clipboardFeb 27, 2025

+34-94

Commits

Commits on Feb 26, 2025

• fix: certora - FlashFee is rounding down

  1kresh

  committed
  9032060

  Copy full SHA for 9032060

• fix: certora - The declaration of _Vault_init() in VaultImplementation.sol is unused in the code and wastes gas

  1kresh

  committed
  1b83769

  Copy full SHA for 1b83769

Commits on Feb 27, 2025

• Merge branch 'v1.1.0' into certora-fixes

  1kresh

  committed
  e1d5e01

  Copy full SHA for e1d5e01