Bench verifier

Workflow runs for Bench verifier

• Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/

  skipped:
  Bench verifier#514:Issue comment#1030 (comment)createdbyclaude[bot]Bot
  Nov 3, 20267s
  More actions for workflow run 514

• Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/

  skipped:
  Bench verifier#513:Issue comment#1030 (comment)createdbyjotabulacios
  Nov 3, 202611s
  More actions for workflow run 513

• Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/

  skipped:
  Bench verifier#512:Issue comment#1030 (comment)createdbyclaude[bot]Bot
  Nov 3, 20261s
  More actions for workflow run 512

• Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/

  skipped:
  Bench verifier#511:Issue comment#1030 (comment)createdbyjotabulacios
  Nov 3, 20262s
  More actions for workflow run 511

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  skipped:
  Bench verifier#510:Issue comment#1027 (comment)createdbyclaude[bot]Bot
  Oct 30, 20263m 0s
  More actions for workflow run 510

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  skipped:
  Bench verifier#509:Issue comment#1027 (comment)createdbyMauroToscano
  Oct 30, 20263m 57s
  More actions for workflow run 509

• Derive page configs without a per-byte image

  skipped:
  Bench verifier#508:Issue comment#1006 (comment)createdbyclaude[bot]Bot
  Oct 30, 20265m 48s
  More actions for workflow run 508

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  skipped:
  Bench verifier#507:Issue comment#1027 (comment)createdbyMauroToscano
  Oct 30, 20264m 18s
  More actions for workflow run 507

• Derive page configs without a per-byte image

  skipped:
  Bench verifier#506:Issue comment#1006 (comment)createdbyMauroToscano
  Oct 30, 20267m 19s
  More actions for workflow run 506

• Feat/is whh

  skipped:
  Bench verifier#505:Issue comment#1022 (comment)createdbyclaude[bot]Bot
  Oct 23, 20261s
  More actions for workflow run 505

• Feat/is whh

  skipped:
  Bench verifier#504:Issue comment#1022 (comment)createdbyjotabulacios
  Oct 23, 20261s
  More actions for workflow run 504

• Fix: Preprocess the CPU timestamp

  skipped:
  Bench verifier#503:Issue comment#1025 (comment)createdbyclaude[bot]Bot
  Oct 19, 20268m 8s
  More actions for workflow run 503

• Fix: Preprocess the CPU timestamp

  skipped:
  Bench verifier#502:Issue comment#1025 (comment)createdbynicole-graus
  Oct 19, 20262m 33s
  More actions for workflow run 502

• Fix: Preprocess the CPU timestamp

  skipped:
  Bench verifier#501:Issue comment#1025 (comment)createdbynicole-graus
  Oct 19, 20262m 39s
  More actions for workflow run 501

• Fix: Preprocess the CPU timestamp

  skipped:
  Bench verifier#500:Issue comment#1025 (comment)createdbynicole-graus
  Oct 19, 20263m 9s
  More actions for workflow run 500

• Feat/is whh

  skipped:
  Bench verifier#499:Issue comment#1022 (comment)createdbynicole-graus
  Oct 16, 20261s
  More actions for workflow run 499

• Feat/is whh

  skipped:
  Bench verifier#498:Issue comment#1022 (comment)createdbyclaude[bot]Bot
  Oct 15, 20261s
  More actions for workflow run 498

• Feat/is whh

  skipped:
  Bench verifier#497:Issue comment#1022 (comment)createdbyjotabulacios
  Oct 15, 20261s
  More actions for workflow run 497

• Fix: Constrain table multiplicities

  skipped:
  Bench verifier#496:Issue comment#1016 (comment)createdbyclaude[bot]Bot
  Oct 14, 202611s
  More actions for workflow run 496

• Fix: pin final PC to halt

  skipped:
  Bench verifier#495:Issue comment#1020 (comment)createdbyclaude[bot]Bot
  Oct 14, 202611s
  More actions for workflow run 495

• Fix: pin final PC to halt

  skipped:
  Bench verifier#494:Issue comment#1020 (comment)createdbynicole-graus
  Oct 14, 20261s
  More actions for workflow run 494

• Fix: Constrain table multiplicities

  skipped:
  Bench verifier#493:Issue comment#1016 (comment)createdbynicole-graus
  Oct 14, 202611s
  More actions for workflow run 493

• Fix: Constrain table multiplicities

  skipped:
  Bench verifier#492:Issue comment#1016 (comment)createdbynicole-graus
  Oct 14, 20269s
  More actions for workflow run 492

• Fix: pin final PC to halt

  skipped:
  Bench verifier#491:Issue comment#1020 (comment)createdbynicole-graus
  Oct 14, 20262s
  More actions for workflow run 491

• Unify memcpy, memmove, memset and commit on one accelerator

  failed:
  Bench verifier#490:Issue comment#984 (comment)createdbynicole-graus
  Oct 14, 202613m 21s
  More actions for workflow run 490