v1.0.0-beta.13

1.0.0-beta.13 (2025-09-19)

Features

• Allow initializing dynamic arrays (#9899) (5e17b9b)
• Better check_u128_mul_overflow logic when an operand is constant (#9835) (d60ba5c)
• die: Prune unused entry block parameters for non-entry points (#9843) (ad3c329)
• fuzz: Allow index OOB with a small probability (#9803) (1578b7c)
• fuzz: Generate calls to slice_remove and slice_insert in the AST fuzzer (#9786) (23c3627)
• LSP lightweight mode (#9869) (0adabdf)
• LSP: Folding ranges (#9854) (66faaed)
• LSP: Signature help for macro attributes (#9536) (a8512f4)
• ownership: Do not clone indexed call results containing arrays (#9791) (1b5e1de)
• ownership: Do not clone nested Index expressions (#9772) (e7252a2)
• Re-enable early mem2reg pass (#9744) (b245272)
• Remove useless jump when branching in brillig (#9778) (e13939e)
• Reverse loop condition in brillig to avoid NOT instruction (#9779) (113b853)
• ssa: SSA CLI (#9826) (e6260d7)

Bug Fixes

• acir_gen: Fix entry point indices (#9881) (8bc8c10)
• acir_gen: Handle flattening of numeric types when an Array contains a DynamicArray (#9887) (5524470)
• Check for signed division overflow (#9857) (72c5842)
• Disallow _ in where clauses, and disallow unused trait impl generics (#9871) (0eead18)
• Do not simplify constraints with induction variable (#9806) (860661b)
• docs: Moves docs to correct path for sharing domain with landing (#9687) (04ac97f)
• Error on boolean shift overflow in interpreter (#9724) (387b9b2)
• Error on returning slice from main (#9636) (13fbc6f)
• fmt: Missing skip whitespace when formatting match (#9905) (e4da6d7)
• fuzz: Always introduce a local binding before match (#9883) (69570b7)
• fuzz: Avoid OOB when in_no_dynamic mode (#9858) (cff071f)
• fuzz: Install just in nightly fuzz workflow (#9756) (2ce164e)
• Left bit shift u128 would overflow Field (#9723) (216737d)
• mem2reg: Do not attempt to analyze an instruction simplified to a global (#9882) (a2ec2e5)
• mem2reg: Handle instruction simplified to multiple (#9782) (b975d9b)
• ownership: Consider ident in nested l-value as used (#9793) (574550b)
• Proper error when dividing by minus 1 (#9762) (8cfbdb9)
• ssa: Accurate purities of ArraySet and RC instructions in Brillig (#9736) (a010e93)
• ssa: Do not hoist unsafe array_get in Brillig (#9805) (f25ebd6)
• ssa: Mark whether an ArrayGet requires a predicate based upon the runtime (#9712) (5e27664)
• ssa: Replace failing array access with constraint and defaults (#9776) (0284d29)
• ssa: Simplify always-fail range constraint (#9885) (f86ba42)
• Wrong error message in brillig bit shift overflow (#9702) (e9f2016)