v1.0.0-beta.24

1.0.0-beta.24 (2026-07-20)

Bug Fixes

• acir_gen: Lower a zero-length dynamic array Brillig input inline instead of MemoryArray (#13322) (e09c179)
• acir_gen: Skip array block init for a zero-length array_get result (#13312) (dbcdb33)
• acvm: Reject out-of-range Keccakf1600 lanes instead of panicking (#13319) (e5639b2)
• ci: Pin aztec-packages commit in compile-noir-contracts job (#13349) (a88b19f)
• frontend: Reject control flow in assert messages (#13345) (9a633a3)
• lsp: Don't block the editor while type-checking (#13255) (7dffb75)
• lsp: Ignore empty didChange notifications (#13316) (a7ce8d4)
• nargo: Show --show-output output for parameterized (fuzzed) tests (#13305) (e5a5b98)
• Range check removal unchecked acir (#13269) (e8e3a46)
• ssa: Don't leak exit-destination param mappings out of loop unrolling (#13324) (1802cf3)
• ssa: Don't treat div/mod by a non-zero constant as predicated in flatten_post_check (#13311) (f11766f)
• ssa: Only count array-typed stores in rc_invariant::call may_mutate (#13354) (111e7a9)
• ssa: Recognize conjoined and cast-equal predicate guards in flatten_post_check (#13199) (37c70c5)
• Track progress of constrained Brillig call outputs (#13301) (64a8c7d)