Kani Compiler Performance Benchmarks

Workflow runs for Kani Compiler Performance Benchmarks

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

  completed successfully:
  Kani Compiler Performance Benchmarks#498:Commit9461e07pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202642m 57s
  More actions for workflow run 498

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

  completed successfully:
  Kani Compiler Performance Benchmarks#497:Commit6ce55b9pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 202629m 2s
  More actions for workflow run 497

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

  completed successfully:
  Kani Compiler Performance Benchmarks#496:Commit328e6b8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202638m 57s
  More actions for workflow run 496

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

  failed:
  Kani Compiler Performance Benchmarks#495:Commit08c1e7cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 202630m 15s
  More actions for workflow run 495

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

  completed successfully:
  Kani Compiler Performance Benchmarks#494:Commita52785apushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202632m 48s
  More actions for workflow run 494

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

  completed successfully:
  Kani Compiler Performance Benchmarks#493:Commit060a1c2pushedbygithub-merge-queue[bot]Bot
  main

  Oct 8, 202628m 38s
  More actions for workflow run 493

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

  failed:
  Kani Compiler Performance Benchmarks#492:Commit2ce7725pushedbygithub-merge-queue[bot]Bot
  main

  Oct 5, 202639m 28s
  More actions for workflow run 492

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

  failed:
  Kani Compiler Performance Benchmarks#491:Commit1640445pushedbygithub-merge-queue[bot]Bot
  main

  Oct 3, 202635m 54s
  More actions for workflow run 491

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

  completed successfully:
  Kani Compiler Performance Benchmarks#490:Commit402c15cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 202642m 21s
  More actions for workflow run 490

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

  completed successfully:
  Kani Compiler Performance Benchmarks#489:Commit0f8e293pushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 202634m 50s
  More actions for workflow run 489

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

  completed successfully:
  Kani Compiler Performance Benchmarks#488:Commit9adc0depushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 202639m 12s
  More actions for workflow run 488

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

  failed:
  Kani Compiler Performance Benchmarks#487:Commit5193da6pushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 202640m 47s
  More actions for workflow run 487

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

  completed successfully:
  Kani Compiler Performance Benchmarks#486:Commitc846403pushedbygithub-merge-queue[bot]Bot
  main

  Oct 2, 202641m 17s
  More actions for workflow run 486

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

  completed successfully:
  Kani Compiler Performance Benchmarks#485:Commit4783025pushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 202639m 28s
  More actions for workflow run 485

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

  failed:
  Kani Compiler Performance Benchmarks#484:Commit5e70300pushedbygithub-merge-queue[bot]Bot
  main

  Oct 1, 202642m 30s
  More actions for workflow run 484

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

  completed successfully:
  Kani Compiler Performance Benchmarks#483:Commitb44b964pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202643m 20s
  More actions for workflow run 483

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

  completed successfully:
  Kani Compiler Performance Benchmarks#482:Commit30242b2pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202640m 5s
  More actions for workflow run 482

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

  completed successfully:
  Kani Compiler Performance Benchmarks#481:Commit1f63979pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202640m 46s
  More actions for workflow run 481

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

  failed:
  Kani Compiler Performance Benchmarks#480:Commit7207ac1pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202640m 54s
  More actions for workflow run 480

• Remove the unreachable deref_box (#4861)

  failed:
  Kani Compiler Performance Benchmarks#479:Commitb1855cdpushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202642m 45s
  More actions for workflow run 479

• Fail verification when CBMC exits abnormally after reporting results …

  completed successfully:
  Kani Compiler Performance Benchmarks#478:Commit16c774cpushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202625m 26s
  More actions for workflow run 478

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

  completed successfully:
  Kani Compiler Performance Benchmarks#477:Commita19532cpushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202643m 42s
  More actions for workflow run 477

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

  completed successfully:
  Kani Compiler Performance Benchmarks#476:Commit0ce5347pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202631m 13s
  More actions for workflow run 476

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

  failed:
  Kani Compiler Performance Benchmarks#475:Commitf802655pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202643m 16s
  More actions for workflow run 475

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

  completed successfully:
  Kani Compiler Performance Benchmarks#474:Commit986e651pushedbygithub-merge-queue[bot]Bot
  main

  Sep 30, 202635m 0s
  More actions for workflow run 474