Kani Benchmarks

bench-pr.yml

679 workflow runs

Move an owned receiver into the replace closure so const fns with contracts compile
requires action with the application:
Kani Benchmarks#692:Pull request#4985synchronizebykasimte
kasimte:fix-const-owned-receiver
Oct 16, 2026Action required
Replace deprecated serde_yaml with serde-saphyr in compiletest
skipped:
Kani Benchmarks#691:Pull request#5012openedbyjadhavgaurav
jadhavgaurav:replace-serde-yaml-5000
Oct 16, 20263s
Respect explicit stubs when detecting contract-generation cycles
skipped:
Kani Benchmarks#690:Pull request#5008openedbyKieran-Hulsman
Kieran-Hulsman:kieran/contract-stub-cycle-fix
Oct 14, 20264s
Resolve trait-object type arguments in contract target paths
requires action with the application:
Kani Benchmarks#689:Pull request#4986synchronizebykasimte
kasimte:trait-object-path-args
Oct 14, 2026Action required
Fix seven compiler crashes found by @nuczyc
skipped:
Kani Benchmarks#688:Pull request#5006openedbyfeliperodri
feliperodri:fix-poc-crashes
Oct 14, 20262s
Don't ICE when rustc changes the return type of catch_unwind
completed successfully:
Kani Benchmarks#687:Pull request#4996synchronizebyfeliperodri
paulocsanz:rfc0475-catch-unwind-sig-drift
Oct 14, 20261h 38m 33s
Don't copy loop-body declaration groups to the loop head when they read loop locals or cannot be spliced
requires action with the application:
Kani Benchmarks#686:Pull request#4957synchronizebykasimte
kasimte:fix-4911-loophead-call-move
Oct 14, 2026Action required
Upgrade Charon to nightly-2026.10.13
skipped:
Kani Benchmarks#685:Pull request#5003openedbyfeliperodri
feliperodri:charon-2026.10.13
Oct 14, 20261s
Automatic toolchain upgrade to nightly-2026-10-12
skipped:
Kani Benchmarks#684:Pull request#5002reopenedbyfeliperodri
toolchain-2026-10-12
Oct 14, 20267s
Automatic toolchain upgrade to nightly-2026-10-12
skipped:
Kani Benchmarks#683:Pull request#5002openedbygithub-actions[bot]Bot
toolchain-2026-10-12
Oct 14, 20262s
Add check for vtable metadata of a different trait
requires action with the application:
Kani Benchmarks#682:Pull request#5001openedbymiguelcorderopamphile
miguelcorderopamphile:fix/invalid-vtable-check
Oct 14, 2026Action required
Move an owned receiver into the replace closure so const fns with contracts compile
requires action with the application:
Kani Benchmarks#681:Pull request#4985synchronizebykasimte
kasimte:fix-const-owned-receiver
Oct 14, 2026Action required
Don't ICE when rustc changes the return type of catch_unwind
cancelled:
Kani Benchmarks#680:Pull request#4996synchronizebypaulocsanz
paulocsanz:rfc0475-catch-unwind-sig-drift
Oct 13, 20263m 4s
Don't ICE when rustc changes the return type of catch_unwind
requires action with the application:
Kani Benchmarks#679:Pull request#4996synchronizebypaulocsanz
paulocsanz:rfc0475-catch-unwind-sig-drift
Oct 13, 2026Action required
Make KaniIter for Range::len total so a symbolic range with start > end does not underflow
failed:
Kani Benchmarks#678:Pull request#4956synchronizebyfeliperodri
kasimte:kz-canary-1
Oct 13, 20261h 30m 59s
Handle let-chain conditions in #[kani::loop_invariant]
failed:
Kani Benchmarks#677:Pull request#4948synchronizebyfeliperodri
kasimte:fix-loop-invariant-let-chain
Oct 13, 20261h 36m 52s
Keep loop attributes on rewritten for loops and add loop-only locals to loop_modifies
completed successfully:
Kani Benchmarks#676:Pull request#4947synchronizebyfeliperodri
Talha-Dmr:loop-contracts-for-attrs
Oct 13, 20261h 36m 59s
Check #[kani::loop_decreases] clauses whose measure is a variable
completed successfully:
Kani Benchmarks#675:Pull request#4946synchronizebyfeliperodri
Talha-Dmr:fix-loop-decreases-plain-var
Oct 13, 20261h 11m 29s
Fix compiletest help commands panicking after printing usage
skipped:
Kani Benchmarks#674:Pull request#4945synchronizebyfeliperodri
wodex1nhaoIeng:codex/fix-1219-compiletest-help
Oct 13, 20269s
Fix missing thread prefixes in parallel verification output
skipped:
Kani Benchmarks#673:Pull request#4944synchronizebyfeliperodri
wodex1nhaoIeng:codex/repro-4438
Oct 13, 20264s
Fix codegen crash when a loop_modifies clause starts with a fat pointer
failed:
Kani Benchmarks#672:Pull request#4938synchronizebyfeliperodri
kasimte:fix-loop-modifies-body-temps
Oct 13, 20261h 37m 30s
Support simd_reduce_max and simd_reduce_min on integer lanes
failed:
Kani Benchmarks#671:Pull request#4934synchronizebyfeliperodri
srivatsansamraj:simd-reduce-min-max
Oct 13, 20261h 33m 23s
Upgrade the Rust toolchain to nightly-2026-10-11
failed:
Kani Benchmarks#670:Pull request#4987synchronizebyfeliperodri
feliperodri:toolchain-2026-10-06
Oct 13, 20261h 37m 16s
Upgrade the Rust toolchain to nightly-2026-10-11
failed:
Kani Benchmarks#669:Pull request#4987synchronizebyfeliperodri
feliperodri:toolchain-2026-10-06
Oct 13, 20261h 26m 8s
Reject const generic arguments in contract target paths instead of panicking
requires action with the application:
Kani Benchmarks#668:Pull request#4999openedbykasimte
kasimte:fix-const-generic-contract-path
Oct 12, 2026Action required

Navigation Menu

Kani Benchmarks

679 workflow runs

Move an owned receiver into the replace closure so const fns with contracts compile

Replace deprecated serde_yaml with serde-saphyr in compiletest

Respect explicit stubs when detecting contract-generation cycles

Resolve trait-object type arguments in contract target paths

Fix seven compiler crashes found by @nuczyc

Don't ICE when rustc changes the return type of `catch_unwind`

Don't copy loop-body declaration groups to the loop head when they read loop locals or cannot be spliced

Upgrade Charon to nightly-2026.10.13

Automatic toolchain upgrade to nightly-2026-10-12

Automatic toolchain upgrade to nightly-2026-10-12

Add check for vtable metadata of a different trait

Move an owned receiver into the replace closure so const fns with contracts compile

Don't ICE when rustc changes the return type of `catch_unwind`

Don't ICE when rustc changes the return type of `catch_unwind`

Make KaniIter for Range::len total so a symbolic range with start > end does not underflow

Handle let-chain conditions in #[kani::loop_invariant]

Keep loop attributes on rewritten for loops and add loop-only locals to loop_modifies

Check `#[kani::loop_decreases]` clauses whose measure is a variable

Fix compiletest help commands panicking after printing usage

Fix missing thread prefixes in parallel verification output

Fix codegen crash when a loop_modifies clause starts with a fat pointer

Support `simd_reduce_max` and `simd_reduce_min` on integer lanes

Upgrade the Rust toolchain to nightly-2026-10-11

Upgrade the Rust toolchain to nightly-2026-10-11

Reject const generic arguments in contract target paths instead of panicking

Workflow runs for Kani Benchmarks

679 workflow runs