Kani End-To-End Performance Benchmarks

Workflow runs for Kani End-To-End Performance Benchmarks

• Automatic toolchain upgrade to nightly-2026-10-12 (#5002)

  completed successfully:
  Kani End-To-End Performance Benchmarks#499:Commit9461e07pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 20261h 18m 49s
  More actions for workflow run 499

• Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc…

  completed successfully:
  Kani End-To-End Performance Benchmarks#498:Commit6ce55b9pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 20261h 1m 33s
  More actions for workflow run 498

• Fix missing thread prefixes in parallel verification output (#4944)

  completed successfully:
  Kani End-To-End Performance Benchmarks#497:Commit328e6b8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 20261h 35m 18s
  More actions for workflow run 497

• Upgrade the Rust toolchain to nightly-2026-10-11 (#4987)

  completed successfully:
  Kani End-To-End Performance Benchmarks#496:Commit08c1e7cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 20261h 36m 47s
  More actions for workflow run 496

• Automatic cargo update to 2026-10-12 (#4997)

  completed successfully:
  Kani End-To-End Performance Benchmarks#495:Commita52785apushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 20261h 37m 47s
  More actions for workflow run 495

• Automatic cargo update to 2026-10-05 (#4968)

  completed successfully:
  Kani End-To-End Performance Benchmarks#494:Commit060a1c2pushedbygithub-merge-queue[bot]Bot
  main

  Oct 8, 20261h 53m 47s
  More actions for workflow run 494

• Bump tests/perf/s2n-quic from 845f1cc to b0a0920 (#4969)

  failed:
  Kani End-To-End Performance Benchmarks#493:Commit2ce7725pushedbygithub-merge-queue[bot]Bot
  main

  Oct 5, 20267m 57s
  More actions for workflow run 493

• Stop a SIMD comparison with float mask lanes from aborting the crate …

  completed successfully:
  Kani End-To-End Performance Benchmarks#492:Commit1640445pushedbygithub-merge-queue[bot]Bot
  main

  Oct 3, 20261h 29m 29s
  More actions for workflow run 492

• Only rewrite the jumps that leave a prev loop's body (#4937)

  completed successfully:
  Kani End-To-End Performance Benchmarks#491:Commit402c15cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 20261h 19m 56s
  More actions for workflow run 491

• Keep loop attributes and labels when rewriting while let and for …

  completed successfully:
  Kani End-To-End Performance Benchmarks#490:Commit0f8e293pushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 20261h 30m 39s
  More actions for workflow run 490

• Fix coverage region parsing for filenames with spaces (#4936)

  completed successfully:
  Kani End-To-End Performance Benchmarks#489:Commit9adc0depushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 20261h 34m 7s
  More actions for workflow run 489

• Report a SIMD intrinsic monomorphized with a scalar instead of crashi…

  completed successfully:
  Kani End-To-End Performance Benchmarks#488:Commit5193da6pushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 20261h 25m 58s
  More actions for workflow run 488

• Autoharness: try () when instantiating generic functions (#4880)

  completed successfully:
  Kani End-To-End Performance Benchmarks#487:Commitc846403pushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 20261h 31m 14s
  More actions for workflow run 487

• Only use CBMC results that are followed by CBMC's overall status (#4928)

  completed successfully:
  Kani End-To-End Performance Benchmarks#486:Commit4783025pushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 20261h 26m 43s
  More actions for workflow run 486

• Use a null pointer for zero-sized slice targets of modifies clauses (…

  completed successfully:
  Kani End-To-End Performance Benchmarks#485:Commit5e70300pushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 20261h 39m 26s
  More actions for workflow run 485

• Treat pointer and Box locals of function items as ordinary variable…

  completed successfully:
  Kani End-To-End Performance Benchmarks#484:Commitb44b964pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 33m 35s
  More actions for workflow run 484

• Resolve fn-pointer type arguments in contract target paths (#4916)

  completed successfully:
  Kani End-To-End Performance Benchmarks#483:Commit30242b2pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 31m 40s
  More actions for workflow run 483

• Report SIMD intrinsics on non-SIMD operands as unsupported (#4922)

  completed successfully:
  Kani End-To-End Performance Benchmarks#482:Commit1f63979pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 26m 59s
  More actions for workflow run 482

• Make the LLBC regression require Kani to exit successfully (#4925)

  completed successfully:
  Kani End-To-End Performance Benchmarks#481:Commit7207ac1pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 36m 25s
  More actions for workflow run 481

• Remove the unreachable deref_box (#4861)

  completed successfully:
  Kani End-To-End Performance Benchmarks#480:Commitb1855cdpushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 15m 46s
  More actions for workflow run 480

• Fail verification when CBMC exits abnormally after reporting results …

  completed successfully:
  Kani End-To-End Performance Benchmarks#479:Commit16c774cpushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 17m 12s
  More actions for workflow run 479

• Stop after codegen with -Z lean instead of failing to link a goto m…

  completed successfully:
  Kani End-To-End Performance Benchmarks#478:Commita19532cpushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 45m 43s
  More actions for workflow run 478

• Raise the harness timeout of the cargo_autoharness_fmt_impls test (#4…

  completed successfully:
  Kani End-To-End Performance Benchmarks#477:Commit0ce5347pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 6m 32s
  More actions for workflow run 477

• Keep a rustc wrapper out of Kani's build (#4872)

  completed successfully:
  Kani End-To-End Performance Benchmarks#476:Commitf802655pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20261h 34m 59s
  More actions for workflow run 476

• Add a weekly Charon update job, and run the LLBC regression in the to…

  cancelled:
  Kani End-To-End Performance Benchmarks#475:Commit986e651pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 20266h 1m 29s
  More actions for workflow run 475