v1.0.0-beta.10

1.0.0-beta.10 (2025-08-08)

Features

• acir: Parse ACIR memory and call opcodes (#9331) (2282832)
• Add FunctionDefinition::visibility (#9363) (4a7bb06)
• Initial ACIR parser (arithmetic exprs and black box functions) (#9316) (5be4e92)
• lsp: Allow opening noir stdlib files (#9339) (18b01b3)
• Return unsolvable opcode from CircuitSimulator (#8943) (cb861f8)
• Show circuit output as a value of the program's return type (#9364) (a3e0aba)
• ssa_fuzzer: Arrays support (#9427) (8d80b28)
• ssa_fuzzer: Pushing generated program and witness to redis queue (#9375) (532b512)
• Type alias for numeric generics (#7583) (d7e2c17)

Bug Fixes

• Allow constants in the type-system to be negative (#9360) (7d48355)
• Allow nested fmtstr (#9309) (42429ab)
• Correct doc comments for SSA passes (#9371) (941611c)
• Disable comptime printing when requesting json output (#9381) (1d8a104)
• Do u128 operations with u128, not i128 (#9345) (c0b92e6)
• Forbid self-referencing type aliases (#9103) (639d802)
• Handle short-syntax for trait constraints on trait generics (#9167) (0550ee0)
• Make Ssa-gen use existing reference when compiling &mut foo.bar.baz (#9307) (edd42f8)
• mem2reg: Register aliases when the IfElse result in a reference (#9305) (637e060)
• Modulo overflow in comptime (#9348) (922efbd)
• ownership: Increment reference count for nested array get in LHS assignment (#9347) (20c37b2)
• Perserve purities after SSA normalization (#9355) (5d6dd7e)
• Prevent SignedField::from(i128::MIN) from crashing (#9366) (9846e1e)
• Prevent accidental tuple sharing in comptime code (#9313) (28abb68)
• Prevent invalid types in test/fuzz functions (#9343) (21faf96)
• Push definition trait constraints after trait item constraint (#9354) (7d98dc2)
• Replace implicitly added named generics with fresh type vars in check_trait_impl_where_clause_matches_trait_where_clause (#9352) (8264d30)
• Some nargo expand fixes (#9324) (9b1b10f)
• ssa_gen: Add constraint on slice length before popping (#9323) (46a0d18)
• ssa_gen: Generate code for index before the collection (#9332) (b61f5eb)
• ssa_interpreter: push_back and pop_back to slices with padding (#9320) (dd0bc23)
• ssa-interpreter: Return error if slice length is 0 during popping (#9308) (8d8dba4)
• ssa: Do not check ArrayGet/Set as unreachable for Brillig (#9376) (2d3a304)
• ssa: Keep reference count increments for array set values (#9344) (be626a1)
• Substitute bindings in type before canonicalization (#9328) (37e8b2d)
• Throw error if foreign call returns the wrong number of fields (#9286) (d5f6ca7)
• Top-level item in dependency isn't always visible (#9295) (4609eb2)
• Trait where clause check fixes (#9369) (cb6b7e3)
• Wildcard type should be allowed in lambda parameter types (#9325) (8f21710)