All pull requests

Pull requests

• feat(fv): Lean soundness proofs for ACIR integer gadgets, pinned to the Rust

  claudebox
  #13787·AztecBot opened Sep 23, 2026Collaborator·

  ·

• chore(witness_mutator): underconstraint bug corpus (stage 1)

  claudebox
  #13786·AztecBot opened Sep 22, 2026Collaborator·

  ·

• fix(frontend): only mark a lambda unconstrained when it is itself an unconstrained call's argument

  claude-reviewclaudebox
  #13785·AztecBot opened Sep 22, 2026Collaborator·

  ·
  2

• fix(ownership): compute moves with backward liveness

  claude-reviewclaudebox
  #13781·AztecBot opened Sep 21, 2026Collaborator·

  ·
  5

• chore: Release Noir(1.0.0-rc.4)

  autorelease: pendingdocumentation
  #13778·noirwhal opened Sep 21, 2026Collaborator·

  ·
  1

• chore(docs): fail CI when a page URL loses its redirect

  claudeboxdocumentation
  #13772·AztecBot opened Sep 18, 2026Collaborator·

  ·
  1

• chore(ast_fuzzer): let generated reference types nest

  claudebox
  #13761·AztecBot opened Sep 17, 2026Collaborator·

  ·
  3

• feat(ssa): check the reference-count aliasing invariant between passes

  claude-reviewclaudebox
  #13699·AztecBot opened Sep 14, 2026Collaborator·

  ·

• fix(stdlib): count a UHashMap insert into a tombstone

  claude-reviewclaudebox
  #13689·AztecBot opened Sep 12, 2026Collaborator·

  ·
  1

• fix(ssa): interpret truncate x to 0 bits as 0

  claude-reviewclaudebox
  #13674·AztecBot opened Sep 11, 2026Collaborator·

  ·

• fix(ssa): store the in-range constant when folding a cast to a signed type

  claude-reviewclaudebox
  #13673·AztecBot opened Sep 11, 2026Collaborator·

  ·

• feat(frontend): support if guards on match arms

  claude-reviewclaudebox
  #13671·AztecBot opened Sep 11, 2026Collaborator·

  ·

• fix(frontend): imply a trait's own where clause wherever the trait is named

  claude-reviewclaudebox
  #13670·AztecBot opened Sep 11, 2026Collaborator·

  ·
  1

  4

• fix(frontend): report trait impl search overflow instead of "no matching impl"

  claude-reviewclaudebox
  #13668·AztecBot opened Sep 11, 2026Collaborator·

  ·
  1

• fix(frontend): point comptime errors in macro-generated code at the macro call

  claude-reviewclaudebox
  #13667·AztecBot opened Sep 11, 2026Collaborator·

  ·
  1

• fix(frontend): report trait/impl method generic kind mismatches instead of panicking

  claudebox
  #13659·AztecBot opened Sep 11, 2026Collaborator·

  ·

• fix(frontend): pair implicit associated generics nested inside other bounds in the stricter-than-trait check

  claude-reviewclaudebox
  #13658·AztecBot opened Sep 11, 2026Collaborator·

  ·

• chore(debugger): remove the ACIR and Brillig debugger backends

  claudeboxdocumentation
  #13654·AztecBot opened Sep 11, 2026Collaborator·

  ·
  1

• chore(test): reuse EvaluationTracker to avoid multiple type-checks

  #13652·asterite opened Sep 11, 2026Collaborator·

  ·

• fix(debugger): allow debugging tests in library packages

  #13597·asterite opened Sep 3, 2026Collaborator·

  ·

• feat: let the debugger rely on the comptime interpreter

  #13583·asterite opened Sep 1, 2026Collaborator·

  ·

• chore: cover embedded curve ops and ECDSA under a false predicate

  #13573·zexoverz opened Aug 27, 2026·

  ·
  1

  1

• chore(ssa): validate that every function has a purity status

  claudebox
  #13569·AztecBot opened Aug 26, 2026Collaborator·

  ·

• fix(flatten_cfg): disable store-of-array_set optimization after any store to that address

  bench-showclaude-reviewclaudebox
  #13549·AztecBot opened Aug 21, 2026Collaborator·

  ·
  12

• fix(ast_fuzzer): restore out-of-bounds vector indices, keeping the in_no_dynamic ban on dynamic ones

  claudebox
  #13540·AztecBot opened Aug 19, 2026Collaborator·

  ·