Bench

Workflow runs for Bench

• CBMC: Use a second solver for 157/190 proofs

  completed successfully:
  Bench#2712:Commit8898866pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 202657m 9s
  More actions for workflow run 2712

• README: List PyCryptodome as a consumer

  completed successfully:
  Bench#2711:Commite32e368pushedbygithub-merge-queue[bot]Bot
  main

  Oct 24, 202657m 37s
  More actions for workflow run 2711

• CBMC: Add functional spec for runtime bounds check

  skipped:
  Bench#2710:Pull request#1937labeledbymkannwischer
  debug-cbmc

  Oct 22, 20261s
  More actions for workflow run 2710

• CI: Enable ABI checks in the Zig 0.17 jobs

  completed successfully:
  Bench#2709:Commite2d4b50pushedbygithub-merge-queue[bot]Bot
  main

  Oct 21, 20262h 29m 44s
  More actions for workflow run 2709

• abicheck: Use the native build's CPU feature flags

  skipped:
  Bench#2708:Pull request#1945labeledbymkannwischer
  abicheck-cflags

  Oct 21, 20267s
  More actions for workflow run 2708

• PPC64: Align backend selection and ABI feature guards

  failed:
  Bench#2707:Commitb955018pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 202654m 32s
  More actions for workflow run 2707

• CI: Enable unit tests on all Zephyr targets

  failed:
  Bench#2706:Commita7914d4pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 202615m 24s
  More actions for workflow run 2706

• Test: Run ABI checks as Zephyr applications

  failed:
  Bench#2705:Commitd8cc522pushedbygithub-merge-queue[bot]Bot
  main

  Oct 19, 202656m 53s
  More actions for workflow run 2705

• abicheck: Use the native build's CPU feature flags

  skipped:
  Bench#2704:Pull request#1945labeledbyhanno-becker
  abicheck-cflags

  Oct 19, 20261s
  More actions for workflow run 2704

• abicheck: Use the native build's CPU feature flags

  skipped:
  Bench#2703:Pull request#1945labeledbyhanno-becker
  abicheck-cflags

  Oct 19, 20264s
  More actions for workflow run 2703

• PPC64: Guard ABI checks with POWER8 vector support

  skipped:
  Bench#2702:Pull request#1943labeledbyhanno-becker
  power8-fixes

  Oct 17, 20261s
  More actions for workflow run 2702

• PPC64: Guard ABI checks with POWER8 vector support

  skipped:
  Bench#2701:Pull request#1943labeledbyhanno-becker
  power8-fixes

  Oct 17, 20261s
  More actions for workflow run 2701

• PPC64: Guard ABI checks with POWER8 vector support

  skipped:
  Bench#2700:Pull request#1943labeledbyhanno-becker
  power8-fixes

  Oct 17, 20262s
  More actions for workflow run 2700

• Fix inaccurate comments and documentation

  cancelled:
  Bench#2699:Commiteae4179pushedbygithub-merge-queue[bot]Bot
  main

  Oct 17, 202617m 16s
  More actions for workflow run 2699

• sys.h: Do not depend on configuration options

  failed:
  Bench#2698:Commit7da6bd1pushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 20261h 0m 21s
  More actions for workflow run 2698

• sys.h: Do not depend on configuration options

  skipped:
  Bench#2697:Pull request#1938labeledbymkannwischer
  mjk/no-asm-config-order

  Oct 13, 20261s
  More actions for workflow run 2697

• sys.h: Do not depend on configuration options

  skipped:
  Bench#2696:Pull request#1938labeledbymkannwischer
  mjk/no-asm-config-order

  Oct 13, 20268s
  More actions for workflow run 2696

• SOUNDNESS: State the scope of the constant-time tests

  failed:
  Bench#2695:Commitc2827a8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202619m 27s
  More actions for workflow run 2695

• FIPS202: Apply MLK_INTERNAL_API to the FIPS202 layer

  failed:
  Bench#2694:Commitaad9b74pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202634m 37s
  More actions for workflow run 2694

• CBMC: Add functional spec for runtime bounds check

  skipped:
  Bench#2693:Pull request#1937labeledbyhanno-becker
  debug-cbmc

  Oct 12, 20262s
  More actions for workflow run 2693

• CBMC: Add functional spec for runtime bounds check

  skipped:
  Bench#2692:Pull request#1937labeledbyhanno-becker
  debug-cbmc

  Oct 12, 20261s
  More actions for workflow run 2692

• CBMC: Add functional spec for runtime bounds check

  skipped:
  Bench#2691:Pull request#1937labeledbyhanno-becker
  debug-cbmc

  Oct 12, 20261s
  More actions for workflow run 2691

• HOL-Light: Don't report incomplete proof runs as OK

  failed:
  Bench#2690:Commitb2555ccpushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 202615m 19s
  More actions for workflow run 2690

• CI: Add zig 0.17 compiler tests

  failed:
  Bench#2689:Commit7155ef2pushedbygithub-merge-queue[bot]Bot
  main

  Oct 11, 20261h 2m 53s
  More actions for workflow run 2689

• Doc improvements

  skipped:
  Bench#2688:Pull request#1935labeledbymkannwischer
  doc-improvements

  Oct 10, 20261s
  More actions for workflow run 2688