chore: Release Noir(1.0.0-beta.24)

.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "1.0.0-beta.23"
+  ".": "1.0.0-beta.24"
 }

CHANGELOG.md

@@ -1,5 +1,25 @@
 # Changelog
 
+## [1.0.0-beta.24](https://github.com/noir-lang/noir/compare/v1.0.0-beta.23...v1.0.0-beta.24) (2026-07-20)
+
+
+### Bug Fixes
+
+* **acir_gen:** Lower a zero-length dynamic array Brillig input inline instead of MemoryArray ([#13322](https://github.com/noir-lang/noir/issues/13322)) ([e09c179](https://github.com/noir-lang/noir/commit/e09c179df5c2f25e364392fdd161097f84c82eff))
+* **acir_gen:** Skip array block init for a zero-length array_get result ([#13312](https://github.com/noir-lang/noir/issues/13312)) ([dbcdb33](https://github.com/noir-lang/noir/commit/dbcdb333ebb66f75eb66c9735d831198f554810a))
+* **acvm:** Reject out-of-range Keccakf1600 lanes instead of panicking ([#13319](https://github.com/noir-lang/noir/issues/13319)) ([e5639b2](https://github.com/noir-lang/noir/commit/e5639b2fe0d387aa2a66f55b09597d3bd45acea3))
+* **ci:** Pin aztec-packages commit in `compile-noir-contracts` job ([#13349](https://github.com/noir-lang/noir/issues/13349)) ([a88b19f](https://github.com/noir-lang/noir/commit/a88b19f000f09a476d4d6102ffada8b7f8c1668c))
+* **frontend:** Reject control flow in assert messages ([#13345](https://github.com/noir-lang/noir/issues/13345)) ([9a633a3](https://github.com/noir-lang/noir/commit/9a633a342d83287046d725f9fcfdc734a8e7b1a0))
+* **lsp:** Don't block the editor while type-checking ([#13255](https://github.com/noir-lang/noir/issues/13255)) ([7dffb75](https://github.com/noir-lang/noir/commit/7dffb7549e890b1e573cfbeaf6094140957b09ff))
+* **lsp:** Ignore empty didChange notifications ([#13316](https://github.com/noir-lang/noir/issues/13316)) ([a7ce8d4](https://github.com/noir-lang/noir/commit/a7ce8d469446f2521b333cd958c3b6311ff08978))
+* **nargo:** Show `--show-output` output for parameterized (fuzzed) tests ([#13305](https://github.com/noir-lang/noir/issues/13305)) ([e5a5b98](https://github.com/noir-lang/noir/commit/e5a5b98fb65c910f96560ef08a9c8409f82149fb))
+* Range check removal unchecked acir ([#13269](https://github.com/noir-lang/noir/issues/13269)) ([e8e3a46](https://github.com/noir-lang/noir/commit/e8e3a4609428dcbc4f07902f758c8b990aa5c5f1))
+* **ssa:** Don't leak exit-destination param mappings out of loop unrolling ([#13324](https://github.com/noir-lang/noir/issues/13324)) ([1802cf3](https://github.com/noir-lang/noir/commit/1802cf3895aac6ab1ff4f6ad0b30ede1dcbc119a))
+* **ssa:** Don't treat div/mod by a non-zero constant as predicated in flatten_post_check ([#13311](https://github.com/noir-lang/noir/issues/13311)) ([f11766f](https://github.com/noir-lang/noir/commit/f11766f9b92d829bbc3eacb33bbc608afc9a3906))
+* **ssa:** Only count array-typed stores in rc_invariant::call may_mutate ([#13354](https://github.com/noir-lang/noir/issues/13354)) ([111e7a9](https://github.com/noir-lang/noir/commit/111e7a968ca88f8d7a2ee65cde84aa21c82f6f38))
+* **ssa:** Recognize conjoined and cast-equal predicate guards in flatten_post_check ([#13199](https://github.com/noir-lang/noir/issues/13199)) ([37c70c5](https://github.com/noir-lang/noir/commit/37c70c51cfbd5e67c7ae9fd81816564d298705ef))
+* Track progress of constrained Brillig call outputs ([#13301](https://github.com/noir-lang/noir/issues/13301)) ([64a8c7d](https://github.com/noir-lang/noir/commit/64a8c7d0a8c399d3cc4a513e40e4e9e6793b706f))
+
 ## [1.0.0-beta.23](https://github.com/noir-lang/noir/compare/v1.0.0-beta.22...v1.0.0-beta.23) (2026-07-08)
 
 
@@ -145,7 +165,7 @@
 * **nargo_doc:** Decode generic trait-impl anchors in search URLs ([#13224](https://github.com/noir-lang/noir/issues/13224)) ([4d5036f](https://github.com/noir-lang/noir/commit/4d5036fb9d6a8844e883c1e997199df549ee0fea))
 * **nargo:** Report dependency cycles using normalized manifest paths ([#13048](https://github.com/noir-lang/noir/issues/13048)) ([ef7c1c5](https://github.com/noir-lang/noir/commit/ef7c1c5df856d878926e89dcd039038e9af4afe9))
 * Nested match unreachable warning ([#13185](https://github.com/noir-lang/noir/issues/13185)) ([1c2ec0d](https://github.com/noir-lang/noir/commit/1c2ec0dc5893e0562cf5eb72b10767f30a726c3b))
 * Never lookup a path as a value from scracth, in the prefix case ([#13210](https://github.com/noir-lang/noir/issues/13210)) ([9831014](https://github.com/noir-lang/noir/commit/9831014980d94370de9c7b57888ee7ddb4ada998))
 * Order match struct-pattern fields by declaration, not field name ([#12798](https://github.com/noir-lang/noir/issues/12798)) ([94083b2](https://github.com/noir-lang/noir/commit/94083b205658b8c936f03c3a41caed659a731011))
 * **ownership:** Do not confirm/kill on assignment when `break` or `continue` is present ([#13153](https://github.com/noir-lang/noir/issues/13153)) ([83edc2a](https://github.com/noir-lang/noir/commit/83edc2a94d0ada2dbaacb67e64473afe741be0e8))
 * **ownership:** Tripwire for array/slice match patterns in ownership pass ([#12970](https://github.com/noir-lang/noir/issues/12970)) ([369ff2b](https://github.com/noir-lang/noir/commit/369ff2b19742f95ee7c2928316ce92a22c62084a))
@@ -361,7 +381,7 @@
 * Assert location is the entire assert ([#12520](https://github.com/noir-lang/noir/issues/12520)) ([d52888d](https://github.com/noir-lang/noir/commit/d52888d57c7ce960d81b4ba1f996234211f1ba24))
 * **ast_fuzzer:** Decode raw assertion payload as string when selector is unmapped ([#12536](https://github.com/noir-lang/noir/issues/12536)) ([e0b2c54](https://github.com/noir-lang/noir/commit/e0b2c541ef3e9ddbdca7930f8e158e4d22abe91a))
 * **brillig:** Fix register spill bug and refactor SpillRecord state into an enum ([#12391](https://github.com/noir-lang/noir/issues/12391)) ([41c9bbe](https://github.com/noir-lang/noir/commit/41c9bbe5cc15916874ff6c63d841b58fa273dc0f))
 * **brillig:** Guard JmpIf then-arg spill stores with the branch condi… ([#12560](https://github.com/noir-lang/noir/issues/12560)) ([9b9e34f](https://github.com/noir-lang/noir/commit/9b9e34f490713ccfe401f07492104c8effebc80f))
 * **brillig:** Use value set for tracking max live count ([#12334](https://github.com/noir-lang/noir/issues/12334)) ([2596078](https://github.com/noir-lang/noir/commit/2596078362361dd562827400a21f909d59735af8))
 * Check struct visibility after macro call expansion ([#12424](https://github.com/noir-lang/noir/issues/12424)) ([780128f](https://github.com/noir-lang/noir/commit/780128fb52606e15fb9c74bc93418143ff2a48e7))
 * **comptime:** Handle mutable tuple and struct patterns ([#12533](https://github.com/noir-lang/noir/issues/12533)) ([d504659](https://github.com/noir-lang/noir/commit/d504659d0d2ad113599321958780d10e7a5cda8b))
@@ -372,7 +392,7 @@
 * Do not skip truncating the results of field divisions ([#12582](https://github.com/noir-lang/noir/issues/12582)) ([bd6ad95](https://github.com/noir-lang/noir/commit/bd6ad95a01585194c40c59ecd8773d67889816c6))
 * **docs:** Fill in missing docs ([#12242](https://github.com/noir-lang/noir/issues/12242)) ([04a373e](https://github.com/noir-lang/noir/commit/04a373ed8e9cf67ac4f7efea14009f3c3a856d58))
 * **docs:** Update sgn0 signature from u1 to bool ([#12250](https://github.com/noir-lang/noir/issues/12250)) ([55a01b2](https://github.com/noir-lang/noir/commit/55a01b24e39a27a64107293be03342910e3032f2))
 * **docs:** Use canonical paths in llms.txt links ([#12455](https://github.com/noir-lang/noir/issues/12455)) ([5b84279](https://github.com/noir-lang/noir/commit/5b842793f635e90cfa466f13abde3bcec111aa8c))
 * Don't compute similarly named types in LSP single-file mode ([#12464](https://github.com/noir-lang/noir/issues/12464)) ([5e48b65](https://github.com/noir-lang/noir/commit/5e48b65d3d30ad9ec57ec94e5c7512d86c6e1dc1))
 * Don't crash on duplicate trait impl ([#12477](https://github.com/noir-lang/noir/issues/12477)) ([d2c1ebd](https://github.com/noir-lang/noir/commit/d2c1ebd0a8d881bcaffa6351afb42d32088e3a4c))
 * Don't drop inline trait constraints when generated via metaprogramming ([#12423](https://github.com/noir-lang/noir/issues/12423)) ([5f68596](https://github.com/noir-lang/noir/commit/5f685966dadbb42bffb46994fd49c502601525b4))
@@ -429,7 +449,7 @@
 ### ⚠ BREAKING CHANGES
 
 * remove u1 type from user-facing Noir ([#11753](https://github.com/noir-lang/noir/issues/11753))
 * remove unnecessary `state_len` argument from `poseidon2_permu… ([#11610](https://github.com/noir-lang/noir/issues/11610))
 * Remove SignedField entirely ([#11710](https://github.com/noir-lang/noir/issues/11710))
 * Default constants to u32 ([#11838](https://github.com/noir-lang/noir/issues/11838))
 * remove deprecated `StructDefinition` ([#11859](https://github.com/noir-lang/noir/issues/11859))
@@ -439,7 +459,7 @@
 
 ### Features
 
 * Allow immrefs to go from acir to brillig ([#12035](https://github.com/noir-lang/noir/issues/12035)) ([6c53b58](https://github.com/noir-lang/noir/commit/6c53b58d92c6e062ccb846bf45377737b13c23bd))
 * Avoid duplicated calculation of CFG ([#12164](https://github.com/noir-lang/noir/issues/12164)) ([fe15bae](https://github.com/noir-lang/noir/commit/fe15baeeb16aa13c81828ff807a12cce7b7e25db))
 * **brillig:** Block param coalescing ([#11621](https://github.com/noir-lang/noir/issues/11621)) ([7d07e18](https://github.com/noir-lang/noir/commit/7d07e187fb04d79f5a7cf41501d2c12bc2b1d5d2))
 * **brillig:** Function specialization for constant arguments ([#11872](https://github.com/noir-lang/noir/issues/11872)) ([20cd7b2](https://github.com/noir-lang/noir/commit/20cd7b24700018248af5b6dcc81fafb29f32b415))
@@ -462,7 +482,7 @@
 * **ssa_fuzzer:** Poseidon + compilation errors logging  ([#11877](https://github.com/noir-lang/noir/issues/11877)) ([882d7cc](https://github.com/noir-lang/noir/commit/882d7ccf90269fdc5468af98c7721bf42d388318))
 * **ssa:** Collapse redundant nested merges when flattening   ([#12116](https://github.com/noir-lang/noir/issues/12116)) ([294a558](https://github.com/noir-lang/noir/commit/294a558edffa82075bda63d3ce8fb82f15920869))
 * **ssa:** Immutable reference type ([#12182](https://github.com/noir-lang/noir/issues/12182)) ([091a2f7](https://github.com/noir-lang/noir/commit/091a2f7c1c94f284c74cd809d977856e07847645))
 * **ssa:** Iterative dominance frontiers for mem2reg_simple (Cytron et. al 1991)  ([#12091](https://github.com/noir-lang/noir/issues/12091)) ([2d3e6c6](https://github.com/noir-lang/noir/commit/2d3e6c60c0b61bfe6907cf303383c445f5adde8e))
 * **ssa:** More aggressive Brillig loop unrolling ([#7236](https://github.com/noir-lang/noir/issues/7236)) ([8e57c6b](https://github.com/noir-lang/noir/commit/8e57c6b3abcdbe6891225d6b29fb8780dc0414a1))
 * **ssa:** Remove redundant block params ([#12047](https://github.com/noir-lang/noir/issues/12047)) ([c033e48](https://github.com/noir-lang/noir/commit/c033e48bb813206dd272c1d24ea3c220f69f3fc4))
 * **ssa:** Replace most usage of old mem2reg pass ([#11935](https://github.com/noir-lang/noir/issues/11935)) ([b48edd4](https://github.com/noir-lang/noir/commit/b48edd44c613d05ee8ecc1764fce300308df27dd))
@@ -519,7 +539,7 @@
 * Default constants to u32 ([#11838](https://github.com/noir-lang/noir/issues/11838)) ([53f935e](https://github.com/noir-lang/noir/commit/53f935e3afd436d8e4f50aafdbc49570124c5a95))
 * Desugar op-assign during elaboration to avoid double evaluation of lvalues ([#12123](https://github.com/noir-lang/noir/issues/12123)) ([89f0a75](https://github.com/noir-lang/noir/commit/89f0a75390ede7f78cb8f0d4f4837d5c4ecb9052))
 * Detect unconstrained callees via type for indirect calls ([#11657](https://github.com/noir-lang/noir/issues/11657)) ([2f24b9a](https://github.com/noir-lang/noir/commit/2f24b9af9f705984b3ecd65b8461d6e97f5990be))
 * Disallow mutating non-mutable references (owernship feature) ([#11674](https://github.com/noir-lang/noir/issues/11674)) ([f179cc0](https://github.com/noir-lang/noir/commit/f179cc05ee5fc76b0260b70b3f4d09fa4d9b0d4b))
 * Disallow`impl Trait` in invalid type positions ([#11944](https://github.com/noir-lang/noir/issues/11944)) ([1f71261](https://github.com/noir-lang/noir/commit/1f712610f10359b715bfb97e9c9cd3db61489917))
 * Do not nest semi-colon inside Comptime statements ([#11640](https://github.com/noir-lang/noir/issues/11640)) ([26d12a0](https://github.com/noir-lang/noir/commit/26d12a0220a7ee8c942b647031ab9dc4c4965337))
 * **doc:** Double-reexport can lead to empty module ([#11665](https://github.com/noir-lang/noir/issues/11665)) ([85aae28](https://github.com/noir-lang/noir/commit/85aae2838b6b7d718675c485cd63b2929f184b3e))
@@ -573,7 +593,7 @@
 * Parse `&&x` and `&&mut x` as nested references ([#11920](https://github.com/noir-lang/noir/issues/11920)) ([bff6227](https://github.com/noir-lang/noir/commit/bff6227a03869d7436d2c228e63f2064fd8bc20c))
 * **parser:** Handle member access in `Parser::parse_statement_or_expression_or_lvalue`  ([#11822](https://github.com/noir-lang/noir/issues/11822)) ([d100770](https://github.com/noir-lang/noir/commit/d100770fdd0fa4dc7292d19aadfcb33b5451651a))
 * Perform abi check on struct on declaration, not usage ([#11628](https://github.com/noir-lang/noir/issues/11628)) ([a4c32f0](https://github.com/noir-lang/noir/commit/a4c32f0c7e5eb6b71391f69bd1b526a8df7c98fb))
 * Perserve comptime struct field order ([#11804](https://github.com/noir-lang/noir/issues/11804)) ([cd41829](https://github.com/noir-lang/noir/commit/cd418293cfaa6f003333b53e8a2b50d860737bb2))
 * Preserve comptime string bytes ([#12068](https://github.com/noir-lang/noir/issues/12068)) ([16c225b](https://github.com/noir-lang/noir/commit/16c225bbd81ad59479378f037756d9a1a67acb1d))
 * Preserve side-effects predicate for heterogeneous vector_push_back ([#11664](https://github.com/noir-lang/noir/issues/11664)) ([325fd70](https://github.com/noir-lang/noir/commit/325fd70080a94ccfe345c008dc9c45296ebba5cc))
 * Prevent crash when resolving method in trait impl with unknown t… ([#11656](https://github.com/noir-lang/noir/issues/11656)) ([7cff3a6](https://github.com/noir-lang/noir/commit/7cff3a6c2e989f220429bccc9d03177c2eb8c49c))
@@ -614,7 +634,7 @@
 * Treat uses of comptime globals identically to `comptime { GLOBAL_NAME }` ([#11627](https://github.com/noir-lang/noir/issues/11627)) ([947f6a3](https://github.com/noir-lang/noir/commit/947f6a3a0e0199c3ea1cc074c40f373c45180186))
 * Type alias in closure environment ([#11941](https://github.com/noir-lang/noir/issues/11941)) ([b9e99b9](https://github.com/noir-lang/noir/commit/b9e99b9297f08ff909c4d941c3dcbe008745932b))
 * Unwrap expr in comptime is_break/is_continue/has_semicolon ([#11805](https://github.com/noir-lang/noir/issues/11805)) ([17f185d](https://github.com/noir-lang/noir/commit/17f185dc97dc262f9b119f89c99a8142f6998e8a))
 * Update rustls-webpki to 0.103.10 (RUSTSEC-2026-0049) ([#11942](https://github.com/noir-lang/noir/issues/11942)) ([66086a0](https://github.com/noir-lang/noir/commit/66086a0e9aa2fb16850b0b1ccb4bc06e40e5ec0c))
 * Use 0, 0 for point at infinity ([#11925](https://github.com/noir-lang/noir/issues/11925)) ([33d3de7](https://github.com/noir-lang/noir/commit/33d3de7464fbddf5b27a351ecc4d01e6deabcaa7))
 * Use correct types for Prover.toml template ([#11693](https://github.com/noir-lang/noir/issues/11693)) ([71c0384](https://github.com/noir-lang/noir/commit/71c03848e5f26c478bea51e2ed36f0e759aa4e7f))
 * Use repeated array literal in monomorphization zeroed ([#12105](https://github.com/noir-lang/noir/issues/12105)) ([bd62a75](https://github.com/noir-lang/noir/commit/bd62a7551b43c818aae00542205d053687c427d1))