All pull requests

Pull requests

• Say why kani_contract_mode is #[inline] while the other contract markers are not

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4912·feliperodri opened Sep 30, 2026Member·

  ·

• Fail verification when CBMC exits abnormally after reporting results

  Z-EndToEndBenchCI
  #4910·Talha-Dmr opened Sep 29, 2026·

  ·
  1

  2

  

• Strip the crate prefix from scanner names to match kani list

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4903·Tianshu-Huang opened Sep 29, 2026Contributor·

  ·
  1

  4

  

• Support -Z valid-value-checks for scalar niche-optimized enums

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4900·tautschnig opened Sep 28, 2026Member·Queued
  1

• Fix -Z uninit-checks panic on zero-sized primitive layouts

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4899·tautschnig opened Sep 28, 2026Member·Queued
  1

  1

• Fix -Z uninit-checks compiler hang on cyclic points-to graphs

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4898·tautschnig opened Sep 28, 2026Member·Queued
  1

• Re-enable loop_assigns_for_vec with an invariant that establishes the length

  #4896·tautschnig opened Sep 28, 2026Member·Queued
  2

• Re-enable the std_codegen test

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4895·tautschnig opened Sep 28, 2026Member·Queued
  1

• Treat pointer and Box locals of function items as ordinary variables

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4892·srivatsansamraj opened Sep 28, 2026Contributor·

  ·
  3

  2

  

• Build and lint the LLBC backend with warnings denied in its CI job

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4886·feliperodri opened Sep 27, 2026Member·

  ·
  1

• Autoharness: try () when instantiating generic functions

  Z-AutoharnessZ-CompilerBenchCIZ-EndToEndBenchCI
  #4880·wodex1nhaoIeng opened Sep 27, 2026Contributor·

  ·

  · Autoharness
  3

  

• Keep a rustc wrapper out of Kani's build

  [F] Crash
  #4872·feliperodri opened Sep 25, 2026Member·

  ·
  1

  2

• Let alloc define the Kani models for its own types

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4871·feliperodri opened Sep 25, 2026Member·

  ·
  1

• Instantiate path generic arguments during type resolution

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4865·kasimte opened Sep 25, 2026Contributor·Queued
  6

  

• Autoharness: do not derive Arbitrary through a NonNull field

  Z-AutoharnessZ-CompilerBenchCIZ-EndToEndBenchCI
  #4864·srivatsansamraj opened Sep 24, 2026Contributor·

  ·
  3

  

• Autoharness: generate &Wtf8 values with unpaired surrogates

  Z-AutoharnessZ-CompilerBenchCIZ-EndToEndBenchCI
  #4862·srivatsansamraj opened Sep 24, 2026Contributor·

  ·
  1

  3

  

• Remove the unreachable deref_box

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4861·srivatsansamraj opened Sep 24, 2026Contributor·

  ·
  1

  6

  

• Fix ICE on pattern types over wide pointers under -Z valid-value-checks

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4856·Tianshu-Huang opened Sep 24, 2026Contributor·

  ·
  1

  9

  

• Fetch a candidate's MIR with the provider that serves its body kind

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4848·feliperodri opened Sep 24, 2026Member·

  ·
  1

  2

  

• benchcomp: judge solver time only when the formula changed

  [E] Performance[I] CI / Infrastructure
  #4846·feliperodri opened Sep 24, 2026Member·

  ·
  1

  4

  

• Report variadic functions with a non-C ABI as unsupported

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4836·feliperodri opened Sep 23, 2026Member·

  ·
  1

  5

  

• Ignore empty and repeated whitespace in RUSTFLAGS

  Z-CompilerBenchCIZ-EndToEndBenchCI
  #4835·feliperodri opened Sep 23, 2026Member·

  ·
  1

  2

  

• Handle failed constant evaluation gracefully in reachability

  Z-AutoharnessZ-CompilerBenchCIZ-EndToEndBenchCI
  #4818·feliperodri opened Sep 20, 2026Member·

  ·

  · Autoharness
  1

  2

  

• Autoharness: support &Wtf8 arguments under --bounded-arguments

  Z-AutoharnessZ-CompilerBenchCIZ-EndToEndBenchCI
  #4809·srivatsansamraj opened Sep 18, 2026Contributor·Queued· Autoharness
  1

  6

  

• Report the failure exit code under --quiet

  #4771·ivmat opened Aug 27, 2026Contributor·Queued
  1

  15