All pull requests

Pull requests

• chore(stdlib): document hashing, signature and embedded curve functions

  claudebox
  #14009·AztecBot opened Oct 15, 2026Collaborator·

  ·

• fix(frontend): print type-level arithmetic in its canonical form in nargo expand

  claudebox
  #14007·AztecBot opened Oct 15, 2026Collaborator·Queued

• fix(frontend): resolve a trait impl's associated items the first time a lookup selects it

  claudebox
  #14006·AztecBot opened Oct 15, 2026Collaborator·3 of 5 tasks·

  ·

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

  autorelease: pending
  #14001·noirwhal opened Oct 15, 2026Collaborator·

  ·

• fix(nargo_toml): name the owning package in dependency manifest errors

  #14000·HusseinAdeiza opened Oct 15, 2026·

  ·
  1

  1

• fix(frontend): reject mutable references to comptime locals in runtime code

  claude-reviewclaudebox
  #13998·AztecBot opened Oct 15, 2026Collaborator·

  ·

• feat(nargo): support rev for git dependencies

  #13996·HusseinAdeiza opened Oct 15, 2026·3 tasks done·

  ·
  1

  1

• chore(ci): compare PR timings against the base branch on the same runner

  bench-showclaudebox
  #13993·AztecBot opened Oct 14, 2026Collaborator·

  ·
  12

• chore(ssa): delete the unused remove_paired_rc pass

  claudebox
  #13990·AztecBot opened Oct 14, 2026Collaborator·

  ·

• chore: bump bb to 6.0.0-rc.6

  claudebox
  #13980·AztecBot opened Oct 14, 2026Collaborator·

  ·
  2

• chore(deps): bump proptest-derive from 0.8.0 to 0.9.0

  dependenciesrust
  #13979·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  1

• chore(deps): bump the cargo-minor-and-patch group with 7 updates

  dependenciesrust
  #13978·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  1

• chore(frontend): unpack comptime builtin arguments with check_arguments

  claudebox
  #13977·AztecBot opened Oct 14, 2026Collaborator·

  ·

• chore(deps-dev): bump the testing group across 1 directory with 2 updates

  dependenciesjavascript
  #13975·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  1

• chore(deps): bump the linter group with 3 updates

  dependenciesjavascript
  #13973·dependabot[bot] opened Oct 14, 2026Bot·

  ·
  1

• chore(driver): free the HIR before code generation in compile_main

  bench-showclaudebox
  #13920·AztecBot opened Oct 7, 2026Collaborator·

  ·
  12

• feat(fv): proofs for more integer operations (eq, not, Field division, …)

  claudebox
  #13907·AztecBot opened Oct 6, 2026Collaborator·

  ·

• fix(frontend): instantiate associated type bounds and elided items per use of a trait

  claude-reviewclaudebox
  #13904·AztecBot opened Oct 6, 2026Collaborator·

  ·

• fix(frontend): keep trait Self rigid and substitute it in supertrait bounds

  claudebox
  #13895·AztecBot opened Oct 6, 2026Collaborator·

  ·
  3

• fix(ssa): accept constraints related to Brillig outputs only through an equivalence

  claude-reviewclaudebox
  #13878·AztecBot opened Oct 5, 2026Collaborator·

  ·
  1

• feat(fv): machine-checked proofs that Noir's integer circuits are not underconstrained

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

  ·
  1

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

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

  ·

• 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·3 of 5 tasks·

  ·