certora

Workflow runs for certora

• consumed docs (#1238)

  completed successfully:
  certora#6463:Commitc7d6608pushedbyMathisGD
  main

  Oct 27, 202643m 56s
  More actions for workflow run 6463

• [Dowsers] example

  completed successfully:
  certora#6462:Pull request#1226synchronizebyaehyvari
  dowsers

  Oct 26, 202643m 0s
  More actions for workflow run 6462

• [Certora] Show that a healthy position does not have realizable bad debt.

  completed successfully:
  certora#6461:Pull request#1235synchronizebyQGarchery
  certora-healthyNotBad

  Oct 26, 202642m 37s
  More actions for workflow run 6461

• consumed docs

  completed successfully:
  certora#6460:Pull request#1238synchronizebydevin-ai-integration[bot]Bot
  consumed-docs

  Oct 26, 202642m 37s
  More actions for workflow run 6460

• consumed docs

  failed:
  certora#6459:Pull request#1238synchronizebyadhusson
  consumed-docs

  Oct 26, 20262h 3m 57s
  More actions for workflow run 6459

• consumed docs

  completed successfully:
  certora#6458:Pull request#1238synchronizebyadhusson
  consumed-docs

  Oct 26, 202642m 26s
  More actions for workflow run 6458

• subgates

  completed successfully:
  certora#6457:Pull request#1234synchronizebydevin-ai-integration[bot]Bot
  whitelist-enter-subgate

  Oct 23, 202642m 8s
  More actions for workflow run 6457

• consumed docs

  completed successfully:
  certora#6456:Pull request#1238synchronizebydevin-ai-integration[bot]Bot
  consumed-docs

  Oct 23, 202642m 27s
  More actions for workflow run 6456

• [Certora] Rewrote Solvency spec to account for evil tokens.

  completed successfully:
  certora#6455:Pull request#1231synchronizebydevin-ai-integration[bot]Bot
  certora-eviltoken

  Oct 22, 202640m 16s
  More actions for workflow run 6455

• [Certora] Rewrote Solvency spec to account for evil tokens.

  completed successfully:
  certora#6454:Pull request#1231synchronizebydevin-ai-integration[bot]Bot
  certora-eviltoken

  Oct 22, 202641m 19s
  More actions for workflow run 6454

• [Certora] Rewrote Solvency spec to account for evil tokens.

  completed successfully:
  certora#6453:Pull request#1231synchronizebydevin-ai-integration[bot]Bot
  certora-eviltoken

  Oct 22, 202640m 59s
  More actions for workflow run 6453

• Mention Certora formal verification in README (#1240)

  completed successfully:
  certora#6452:Commit719fe58pushedbyMathisGD
  main

  Oct 22, 202640m 26s
  More actions for workflow run 6452

• [Certora] Rewrote Solvency spec to account for evil tokens.

  failed:
  certora#6451:Pull request#1231synchronizebydevin-ai-integration[bot]Bot
  certora-eviltoken

  Oct 22, 202639m 9s
  More actions for workflow run 6451

• Mention Certora formal verification in README

  failed:
  certora#6450:Pull request#1240synchronizebydevin-ai-integration[bot]Bot
  devin/1792682012-certora-readme

  Oct 22, 20262h 4m 38s
  More actions for workflow run 6450

• Mention Certora formal verification in README

  completed successfully:
  certora#6449:Pull request#1240synchronizebydevin-ai-integration[bot]Bot
  devin/1792682012-certora-readme

  Oct 22, 202641m 36s
  More actions for workflow run 6449

• Mention Certora formal verification in README

  completed successfully:
  certora#6448:Pull request#1240openedbydevin-ai-integration[bot]Bot
  devin/1792682012-certora-readme

  Oct 22, 202642m 25s
  More actions for workflow run 6448

• [Certora] Withdraw does not revert rule. (#1209)

  completed successfully:
  certora#6447:Commit675b2e0pushedbyMathisGD
  main

  Oct 22, 202641m 56s
  More actions for workflow run 6447

• [Certora] SettlementFeeSpread: Fix flakiness by replacing non-linear …

  completed successfully:
  certora#6446:Commit2ded92dpushedbyQGarchery
  main

  Oct 21, 202640m 41s
  More actions for workflow run 6446

• [Certora] SettlementFeeSpread: additivity axioms in the second argument

  completed successfully:
  certora#6445:Pull request#1239openedbydevin-ai-integration[bot]Bot
  devin/1792608207-settlement-fee-axioms-b

  Oct 21, 202641m 41s
  More actions for workflow run 6445

• [Certora] Withdraw does not revert rule.

  failed:
  certora#6444:Pull request#1209synchronizebyQGarchery
  certora-withdraw-reverts

  Oct 21, 20262h 4m 28s
  More actions for workflow run 6444

• subgates

  failed:
  certora#6443:Pull request#1234synchronizebyadhusson
  whitelist-enter-subgate

  Oct 21, 20262h 2m 53s
  More actions for workflow run 6443

• [Certora] Flag also read-call-write in reentrancy spec

  failed:
  certora#6442:Pull request#1230synchronizebydevin-ai-integration[bot]Bot
  certora-toctoureentrancy

  Oct 21, 20262h 4m 14s
  More actions for workflow run 6442

• [Certora] Withdraw does not revert rule.

  failed:
  certora#6441:Pull request#1209synchronizebydevin-ai-integration[bot]Bot
  certora-withdraw-reverts

  Oct 21, 20262h 2m 38s
  More actions for workflow run 6441

• consumed docs

  failed:
  certora#6440:Pull request#1238openedbyadhusson
  consumed-docs

  Oct 21, 20262h 4m 6s
  More actions for workflow run 6440

• [Certora] SettlementFeeSpread: Fix flakiness by replacing non-linear reasoning by axioms

  completed successfully:
  certora#6439:Pull request#1237synchronizebyjhoenicke
  certora-settlementfeeaxiomatic

  Oct 20, 202642m 20s
  More actions for workflow run 6439