All pull requests

Pull requests

• Restructure the autoharness reference page

  #4991·CYJ904 opened Oct 7, 2026·

  ·
  1

• Pin zerocopy to 0.8.59 in the cargo-kani tests that depend on rand

  #4989·feliperodri opened Oct 7, 2026Member·

  ·
  1

  

• Upgrade the Rust toolchain to nightly-2026-10-06

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4987·feliperodri opened Oct 7, 2026Member·

  ·
  1

  1

• Resolve trait-object type arguments in contract target paths

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4986·kasimte opened Oct 7, 2026Contributor·

  ·

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4985·kasimte opened Oct 6, 2026Contributor·

  ·
  1

• Autoharness: skip fns whose const {} blocks depend on a substituted type

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4981·acearyanarun opened Oct 6, 2026·

  ·
  1

  1

• Evaluate overflow_checks() to the session's setting

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4980·srivatsansamraj opened Oct 6, 2026Contributor·

  ·
  1

  1

• Autoharness: fail a harness that no generated input reaches

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4978·srivatsansamraj opened Oct 6, 2026Contributor·

  ·
  1

  1

• Add a harness attribute that turns off unwinding assertions

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4977·srivatsansamraj opened Oct 5, 2026Contributor·

  ·
  1

  2

• Read constant pointer offsets and slice lengths from the pointer

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4976·srivatsansamraj opened Oct 5, 2026Contributor·

  ·
  2

  1

• Report an invalid bool constant as undefined behavior

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4975·srivatsansamraj opened Oct 5, 2026Contributor·

  ·
  1

  2

• Ignore min_length of a constant index into an array

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4974·srivatsansamraj opened Oct 5, 2026Contributor·

  ·
  1

  1

• Fix projections after a subslice at mir-opt-level 2

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4973·srivatsansamraj opened Oct 5, 2026Contributor·

  ·
  1

  1

• Report invalid SIMD splat/extract/insert/shuffle instantiations as unsupported

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4972·srivatsansamraj opened Oct 5, 2026Contributor·

  ·
  1

  4

• Automatic cargo update to 2026-10-05

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4968·github-actions[bot] opened Oct 5, 2026Bot·

  ·

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4964·feliperodri opened Oct 4, 2026Member·

  ·
  1

  1

  

• Autoharness: add --alias-arguments to model aliasing between arguments

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4958·CYJ904 opened Oct 4, 2026·

  ·
  11

  

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4957·kasimte opened Oct 3, 2026Contributor·

  ·
  3

  17

  

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4956·kasimte opened Oct 3, 2026Contributor·

  ·
  1

  16

  

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4948·kasimte opened Oct 2, 2026Contributor·

  ·
  1

  13

  

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4947·Talha-Dmr opened Oct 2, 2026Contributor·

  ·
  3

  19

  

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4946·Talha-Dmr opened Oct 2, 2026Contributor·

  ·
  1

  14

  

• Fix compiletest help commands panicking after printing usage

  #4945·wodex1nhaoIeng opened Oct 2, 2026Contributor·

  ·
  1

  2

  

• Fix missing thread prefixes in parallel verification output

  #4944·wodex1nhaoIeng opened Oct 2, 2026Contributor·

  ·
  1

  6

  

• Migrate --export-json to the RFC 0015 document shape

  Z-EndToEndBenchCI
  #4941·ivmat opened Oct 1, 2026Contributor·

  ·
  20