All pull requests

Pull requests

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  #5031·jadenfix opened Oct 17, 2026·

  ·
  1

  3

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #5012·jadhavgaurav opened Oct 16, 2026·

  ·
  1

  1

• Respect explicit stubs when detecting contract-generation cycles

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #5008·Kieran-Hulsman opened Oct 14, 2026·

  ·
  1

• Fix seven compiler crashes found by @nuczyc

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #5006·feliperodri opened Oct 14, 2026Member·

  ·
  2

  3

• Upgrade Charon to nightly-2026.10.13

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #5003·feliperodri opened Oct 14, 2026Member·

  ·
  1

• Add check for vtable metadata of a different trait

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #5001·miguelcorderopamphile opened Oct 14, 2026·

  ·

• Reject const generic arguments in contract target paths instead of panicking

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4999·kasimte opened Oct 12, 2026Contributor·

  ·
  1

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

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4996·paulocsanz opened Oct 11, 2026·

  ·
  3

• Restructure and update the autoharness reference page

  #4991·CYJ904 opened Oct 7, 2026·

  ·
  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

  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

  3

• 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

  3

• 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

• 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