Code

[Certora] Last timeouts#679

Code

Merged

QGarchery merged 13 commits intomainmorpho-org/morpho-blue:mainfrom certora/ratio-timeoutsmorpho-org/morpho-blue:certora/ratio-timeoutsCopy head branch name to clipboardJul 5, 2024

+71-34

Commits

Commits on Apr 25, 2024

• feat: additional rule for liquidate in ratio math

  QGarchery

  committed
  c305393

  Copy full SHA for c305393

• fix: assumption for liquidate

  QGarchery

  committed
  d3e4b17

  Copy full SHA for d3e4b17

• fix: min summary

  QGarchery

  committed
  dcab253

  Copy full SHA for dcab253

• docs: remove some spaces

  QGarchery

  committed
  53c124b

  Copy full SHA for 53c124b

• fix: parsing of ternary

  QGarchery

  committed
  4c202de

  Copy full SHA for 4c202de

• docs: small renaming consistency

  QGarchery

  committed
  7ce469f

  Copy full SHA for 7ce469f

• refactor: conform to current style

  QGarchery

  committed
  a4503eb

  Copy full SHA for a4503eb

• fix: use bit vector theory for checking summaries

  QGarchery

  committed
  6a0b079

  Copy full SHA for 6a0b079

Commits on May 13, 2024

• chore: ratio math configuration for timeout

  QGarchery

  committed
  258b7ba

  Copy full SHA for 258b7ba

• chore: switch to certora-cli-beta

  QGarchery

  committed
  0599c47

  Copy full SHA for 0599c47

Commits on Jun 18, 2024

• fix: abandon liquidate

  QGarchery

  committed
  15cfbe9

  Copy full SHA for 15cfbe9

• chore: revert to certora-cli

  QGarchery

  committed
  1bbea70

  Copy full SHA for 1bbea70

Commits on Jul 1, 2024

• chore: rename ratio to exchange rate

  QGarchery

  committed
  63ead62

  Copy full SHA for 63ead62