Skip to content

chore: Release Noir(1.0.0-beta.9)#9184

Merged
TomAFrench merged 3 commits intomasterfrom
release-please--branches--master--components--noir
Jul 24, 2025
Merged

chore: Release Noir(1.0.0-beta.9)#9184
TomAFrench merged 3 commits intomasterfrom
release-please--branches--master--components--noir

Conversation

@noirwhal
Copy link
Copy Markdown
Contributor

@noirwhal noirwhal commented Jul 11, 2025 •
edited
Loading

🤖 I have created a release beep boop

1.0.0-beta.9 (2025-07-23)

⚠ BREAKING CHANGES

  • enforce visibility warnings as errors (#7657)

Features

  • Add compiler_unstable_features to Nargo.toml (#9219) (87aeccf)
  • Add better handling for follow-on optimizations in simplify_cfg (#9276) (d2a51b6)
  • Allow paths in l-values (#9254) (de53652)
  • fuzz: Generate Match expressions and statements (#9108) (49c49ce)
  • Only inject "out of bounds" checks in brillig (#9200) (60222bb)
  • Optimize "out of bounds" checks on arrays with lengths which are powers of two (#9182) (6b2efe0)
  • Optimize array reads from length 1 arrays (#9203) (e7a98f2)
  • ssa_fuzzer: Functions (#9088) (3f0aba0)
  • ssa: Following an always failing binary, replace instructions with defaults until the next predicate (#9211) (e294e66)

Bug Fixes

  • acir_gen: Bail out of handle_constant_index when it encounters DynamicArray (#9259) (ed32998)
  • acir-gen: Do not generate ACIR array opcodes when the length is zero (#9195) (11d86ef)
  • acir-gen: Do not use array storage size for 0-length check (#9208) (ffb63c3)
  • Allow unquote in numeric generic intro (#9213) (d867e35)
  • Bind self when type-checking AsTraitPath (#9236) (c30f8ef)
  • Cast values before inserting them in the databus (#8918) (1c7c6f2)
  • Check associated types after validating where clause when looking up trait impls, plus some unification fixes (#9265) (6cb4347)
  • Comptime code not mutating shared ref to struct field (#9250) (3bec934)
  • Disallow _ in signatures and struct members (#9301) (ee66c98)
  • Disallow trait associated constants to have a default value (#9172) (71f57a2)
  • fuzz: Value::snapshot needs to be recursive (#9215) (e5c6d5d)
  • fuzz: Avoid suffixing slice length modulo blocks with an index access (#9177) (9efc476)
  • fuzz: Ignore -0 vs 0 in parsing roundtrip (#9222) (2cf083e)
  • fuzz: Use scoping for variable dynamism (#9233) (c7ce62a)
  • Handle MakeArray values in DIE for finding mutated array types (#9176) (fc79564)
  • licm: Ensure that all nested loops the current block is part of are guaranteed to execute (#9249) (566de3f)
  • Parse AsTraitPath in type expressions (#9258) (127c4d1)
  • ssa_fuzzer: Fix panic if compiler removed return value (#9216) (e6ccc3e)
  • ssa: Change constraint message to "multiply" (#9230) (8797651)
  • ssa: Do not unroll loops with a constant back-edge value (#9173) (fe44a1e)
  • SSA: Validate MakeArray instruction (#9183) (366149f)
  • Suggest traits via visible reexports if they are not directly visible (#9242) (1719bc3)
  • Use u32 in RepeatedValue example in generics docs (#9273) (3c18e33)

Miscellaneous Chores

This PR was generated with Release Please. See documentation.

@noirwhal noirwhal force-pushed the release-please--branches--master--components--noir branch from ad5e308 to d2c41e4 Compare July 11, 2025 17:02
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jul 11, 2025
github-actions[bot]
github-actions bot reviewed Jul 11, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 25c18ed Previous: ee66c98 Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_rollup-lib 4 s 2 s 2

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Jul 11, 2025 •
edited
Loading

🚀 Deployed on https://68813d49843312efb19bfa17--noir-docs.netlify.app

@noirwhal noirwhal force-pushed the release-please--branches--master--components--noir branch 3 times, most recently from af85e48 to 8713807 Compare July 14, 2025 17:32
github-actions[bot]
github-actions bot reviewed Jul 14, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 15f5e97 Previous: 8797651 Ratio
sha512-100-bytes 2.479 s 1.904 s 1.30

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@noirwhal noirwhal force-pushed the release-please--branches--master--components--noir branch 5 times, most recently from be6a6e1 to f0e2e27 Compare July 15, 2025 14:42
github-actions[bot]
github-actions bot reviewed Jul 15, 2025
View reviewed changes
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: bbb7477 Previous: ad16599 Ratio
sha512-100-bytes 0.095 s 0.056 s 1.70

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@noirwhal noirwhal force-pushed the release-please--branches--master--components--noir branch 15 times, most recently from f1f504c to 7e63089 Compare July 21, 2025 09:40
@noirwhal noirwhal force-pushed the release-please--branches--master--components--noir branch 11 times, most recently from 7ff1097 to 0ac524b Compare July 23, 2025 19:20
@noirwhal noirwhal force-pushed the release-please--branches--master--components--noir branch from 57b91b4 to ed46412 Compare July 23, 2025 19:24
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Jul 23, 2025

FYI @noir-lang/developerrelations on Noir doc changes.

@TomAFrench TomAFrench added this pull request to the merge queue Jul 24, 2025
Merged via the queue into master with commit 6abff2f Jul 24, 2025
102 checks passed
@TomAFrench TomAFrench deleted the release-please--branches--master--components--noir branch July 24, 2025 13:48
@noirwhal
Copy link
Copy Markdown
Contributor Author

noirwhal commented Jul 24, 2025

🤖 Created releases:

🌻

This was referenced Jul 25, 2025
Merged
Merged
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Aug 4, 2025
@AztecBot @vezenovm
chore: Bump Noir reference (#16127)
d2482e5 
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: forbid self-referencing type aliases
(noir-lang/noir#9103)
chore: add a mem2reg test for when all references need to be invalidated
(noir-lang/noir#9377)
fix(ssa): Do not check ArrayGet/Set as unreachable for Brillig
(noir-lang/noir#9376)
chore: use SSA parser in all mem2reg tests
(noir-lang/noir#9372)
fix: trait where clause check fixes
(noir-lang/noir#9369)
fix: Correct doc comments for SSA passes
(noir-lang/noir#9371)
fix: prevent `SignedField::from(i128::MIN)` from crashing
(noir-lang/noir#9366)
fix: allow constants in the type-system to be negative
(noir-lang/noir#9360)
feat: show circuit output as a value of the program's return type
(noir-lang/noir#9364)
feat: add `FunctionDefinition::visibility`
(noir-lang/noir#9363)
chore(docs): Add example for `$crate` in docs
(noir-lang/noir#9361)
fix: Prevent accidental tuple sharing in comptime code
(noir-lang/noir#9313)
fix: perserve purities after SSA normalization
(noir-lang/noir#9355)
fix: modulo overflow in comptime
(noir-lang/noir#9348)
fix: handle short-syntax for trait constraints on trait generics
(noir-lang/noir#9167)
chore: enhance trait constraint comment
(noir-lang/noir#9358)
fix: replace implicitly added named generics with fresh type vars in
check_trait_impl_where_clause_matches_trait_where_clause
(noir-lang/noir#9352)
fix: push definition trait constraints after trait item constraint
(noir-lang/noir#9354)
chore(ci): Update status of noir_json_parser
(noir-lang/noir#9351)
fix(ssa): Keep reference count increments for array set values
(noir-lang/noir#9344)
chore: remove unused `compile_workspace`
(noir-lang/noir#9353)
chore: try printing byte arrays as strings in the SSA interpreter
(noir-lang/noir#9346)
feat(lsp): allow opening noir stdlib files
(noir-lang/noir#9339)
fix: do u128 operations with u128, not i128
(noir-lang/noir#9345)
chore(acir): ACIR parser error handling for blackbox inputs/outputs
(noir-lang/noir#9342)
fix: prevent invalid types in test/fuzz functions
(noir-lang/noir#9343)
chore(lsp): avoid redundant type checking
(noir-lang/noir#9337)
feat(acir): Parse ACIR memory and call opcodes
(noir-lang/noir#9331)
fix(ssa_gen): Add constraint on slice length before popping
(noir-lang/noir#9323)
chore: impl for u16 conversions
(noir-lang/noir#9314)
fix: substitute bindings in type before canonicalization
(noir-lang/noir#9328)
fix(ssa_interpreter): `push_back` and `pop_back` to slices with padding
(noir-lang/noir#9320)
fix: wildcard type should be allowed in lambda parameter types
(noir-lang/noir#9325)
chore: graceful handling of SIGPIPE
(noir-lang/noir#9075)
feat: return unsolvable opcode from `CircuitSimulator`
(noir-lang/noir#8943)
fix: allow nested fmtstr (noir-lang/noir#9309)
feat: Initial ACIR parser (arithmetic exprs and black box functions)
(noir-lang/noir#9316)
fix(mem2reg): Register aliases when the `IfElse` result in a reference
(noir-lang/noir#9305)
fix: Make Ssa-gen use existing reference when compiling `&mut
foo.bar.baz` (noir-lang/noir#9307)
fix: top-level item in dependency isn't always visible
(noir-lang/noir#9295)
fix(ssa-interpreter): Return error if slice length is 0 during popping
(noir-lang/noir#9308)
chore: Release Noir(1.0.0-beta.9)
(noir-lang/noir#9184)
chore(LSP): simplify code lens request handling
(noir-lang/noir#9279)
chore: add regression tests for #6383
(noir-lang/noir#9302)
fix: disallow `_` in signatures and struct members
(noir-lang/noir#9301)
fix: check associated types after validating where clause when looking
up trait impls, plus some unification fixes
(noir-lang/noir#9265)
chore: Add fmtstr to coercions list
(noir-lang/noir#9300)
chore: Add a helper function `fmtstr::as_quoted_str`
(noir-lang/noir#9293)
chore(docs): Copy Type Coercions docs into v1.0.0-beta.8 versioned docs
(noir-lang/noir#9298)
feat: only inject "out of bounds" checks in brillig
(noir-lang/noir#9200)
END_COMMIT_OVERRIDE

---------

Co-authored-by: AztecBot <tech@aztecprotocol.com>
Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@github-actions github-actions[bot] github-actions[bot] left review comments

@TomAFrench TomAFrench TomAFrench approved these changes

Assignees

No one assigned

Labels

autorelease: tagged documentation Improvements or additions to documentation

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@noirwhal @TomAFrench