v1.0.0-beta.7

1.0.0-beta.7 (2025-06-12)

⚠ BREAKING CHANGES

• Error when re-assigning a mutable reference (#8790)
• indexing arrays with non-u32 is now an error (#8804)
• disallow casting numeric to bool (#8703)
• disallow specifying associated items via generics (#8756)
• require types for trait impl associated constants (#8734)
• Prevent returning references from if expressions (#8731)
• prevent compiling blake3 hashes which barretenberg cannot prove (#8690)
• better error message when cannot infer generic numeric type (#7843)
• accept and return visibilities for StructDef (#8420)
• disallow some math between bools (#8564)

Features

• Acir_formal_proofs (#8140) (4f22497)
• Allow printing each SSA interpreter definition (#8865) (954954d)
• C++ codegen for msgpack (#7716) (0298a63)
• cli: Add nargo interpret command (#8700) (1139bbc)
• cli: Show multiple SSA passes (#8692) (4a263b1)
• fuzz: AST fuzzing with SSA interpreter (#8436) (bc6cf4f)
• fuzz: Generate arbitrary constraints (#8820) (2b8651d)
• fuzz: Generate println statements in unconstrained code (#8604) (9509cc4)
• Implement $crate (#8537) (ef6d866)
• performance: Brillig array set optimization (#8550) (9ec22c1)
• Prevent compiling blake3 hashes which barretenberg cannot prove (#8690) (2a79d90)
• Replace converging jmpif with empty block destinations with a single jmp (#8613) (00d636c)
• Short circuit creation of Type::InfixExpr containing errors (#8826) (53cf56f)
• SSA interpreter checks return value (#8883) (12bf0db)
• ssa_fuzzer: Branching + constrains (#8599) (446b25c)
• ssa: Ssa execution (#8135) (79fb482)
• Trait associated type bounds (#8594) (b2bfdb7)
• Use asm feature flag in arkworks (#8792) (9d44ab7)

Bug Fixes

• (SSA interpreter) check requires_acir_gen_predicate for enable_side_effects (#8869) (fa9f737)
• (SSA interpreter) to_le_bits returns [u1; _], not [u8; _] (#8837) (b0e05f2)
• (SSA parser) translate blocks in logical order rather than syntax order (#8668) (984d170)
• Accept and return visibilities for StructDef (#8420) (cafcdcd)
• Add missing cases for finding function values in find_functions_as_values (#8738) (81d2ad6)
• Add offset to ArrayGet (#8536) (da0b3a2)
• Always error if integer literal doesn't fit its type on the fron… (#8885) (f34d5c2)
• Always use u32 for indexing arrays in SSA (#8633) (a16e848)
• Avoid logging all unused params in DIE pass (#8566) (9a8a7ec)
• Better error message when cannot infer generic numeric type (#7843) (72ce94b)
• Better way to do LSP file overrides (#8702) (89783b6)
• Bind self generic type in trait calls via a concrete type (#8825) (11d3d33)
• Bind self generic type in trait calls via a concrete type in more cases (#8827) (95c9d28)
• Cast signed to u1 (#8720) (a28ba2f)
• Cast signed to u1 follow-up (#8730) (d6e4ce9)
• Comptime field division should error when the rhs is zero (#8845) (7083516)
• comptime: Overflow on shl (#8829) (57ec192)
• Correct bitsize in signed division (#8733) (0b94ffc)
• Count array copies for slice functions (#8867) (d831393)
• Create SSA interpreter arguments from scratch for each invocation (#8762) (a61aaed)
• defunctionalize: Higher order functions (HOF) dynamic dispatch and HOFs in arrays (#8672) (c37ded9)
• Delay associated constants resolution (#8744) (ce2fc37)
• Disable underflow fix for fields (#8631) (2c2cf60)
• Disallow () in entry points (#8529) (e2a52b7)
• Disallow casting numeric to bool (#8703) (c2cedd4)
• Disallow some math between bools (#8564) (8c3c9cd)
• Disallow specifying associated items via generics (#8756) (13e2bd9)
• Do not mutate arrays later copied inside other arrays (#8701) (33e0c08)
• Don't overflow when casting signed value to u128 (#8526) (bc002e0)
• Ensure that purity analysis pass explores all functions (#8452) (8f660a3)
• Error on unused generic in trait impl (#8395) (d992ad5)
• Error when re-assigning a mutable reference (#8790) (b888c34)
• expand: Use re-exports for non-visibile items (#8374) (275e438)
• Fix comptime casts of negative integer to field (#8696) (4f8e767)
• fmt: Correct indentation when formatting long struct patterns (#8711) (8665abe)
• fmt: Correctly format mixed secondary attributes and doc comments (#8735) (cb4951d)
• frontend: Override to allow empty array input (#8568) (f0de22e)
• fuzz: Prevent breaking/continuing out from let blocks in the AST fuzzer (#8708) (af2e5c9)
• General solution for accessing associated constants (#8417) (5d4a46c)
• Handle &mut function in defunctionalize (#8665) (a37ba28)
• Handle unconditional break during SSA codegen in all cases (#8855) (b69b0d0)
• Indexing arrays with non-u32 is now an error (#8804) (ad0284d)
• interpreter: Do not overflow on signed checked ops (#8806) (851cfd2)
• interpreter: Return -1 for negative shr signed overflow or 0 for positive shr signed overflow (#8828) (522d4c1)
• licm: Account for nested loops being control dependent when analyzing outer loops (#8593) (99ac8a0)
• licm: Check whether the loop is executed when hoisting with a predicate (#8546) (89cdf76)
• licm: Preserve semantic ordering of side-effectual instructions when hoisting (#8724) (1523ea1)
• Make casts in comptime consistent with runtime casts (#8669) (eb3eef9)
• mem2reg: Keep last stores used in array returned from a function (#8801) (ec955fb)
• mem2reg: Keep last stores used in MakeArray (#8743) (cf32e5b)
• Merge replacement_type and is_function_type in defunctionalization (#8784) (879926c)
• Merge expr bindings with instantiations bindings during monomorphization (#8713) (58ce59e)
• Nargo expand reexports correctly implemented (#8693) (fa261df)
• Prevent negative zero (#8511) (4ee2d12)
• Prevent returning references from if expressions (#8731) (bfcff37)
• Relax connectedness requirement on purity analysis pass (#8667) (6cbf5c4)
• Require types for trait impl associated constants (#8734) (0c3a683)
• Restore the all_or_nothing witness/constant for ec-add (#8624) (aea7a38)
• Revert "fix: error on unused generic in trait impl (#8395)" (#8636) (973a76c)
• Right shift overflow to 0 (#8772) (7a25270)
• Signed right shift overflows to 0 or -1 (#8805) (a03782e)
• ssa interpreter: Default to zero when we have an overflowing shl (#8638) (23d7409)
• SSA: Disallow using lt with fields (#8585) (4b5e356)
• ssa: Do not generate apply functions when no lambda variants exist (#8573) (0112e21)
• SSA: Don't use string literal if byte is "form feed" ('\f') (#8653) (5ec1647)
• ssa: Remove the array cache from the function inserter (#8607) (3da5288)
• SSA: Show and parse range_check's assert_message (#8652) (29d137a)
• ssa: Validate checked signed add/sub is followed by a truncate (#8706) (66f8c6e)
• ssa: Validate field to integer cast (#8799) (229d57b)
• Stop inserting instructions after break and continue (#8712) (86b3638)
• Support recursive call to main function in SSA parser (#8760) (77a53e4)
• Thread errors through remove_if_else instead of panicing when the value merger finds reference values (#8783) (c4a8746)
• Type unification tests, and try moving constants to the other side (#8807) (5641060)
• Unify infix expressions by isolating unbound type variables (#8796) (52b2c32)
• Update external lib commit tdd.nr (#8823) (6f1b46f)
• Use predicate expression as binary result (#8583) (1c7e421)
• Use value predicated by range checks (#8778) (b9383fd)