v1.0.0-beta.14

1.0.0-beta.14 (2025-10-06)

⚠ BREAKING CHANGES

• several ACIR serialisation changes (#8134)

Features

• Add Module::parent and Module::child_modules (#10005) (4f954fa)
• brillig: Centralize memory layout policy and reorganize memory regions (#9985) (f2acd9b)
• cli: Visualize the Control Flow Graph (#9867) (f355e1d)
• No need to use dummy slice values in remove_if_else (#9928) (dd83075)
• Optimize out noop casts on constants (#10024) (28daf02)
• Parse and display SSA databus (#9991) (cb5c0ed)
• ssa: constant_folding with loop (#10019) (35909c7)

Bug Fixes

• acir: Extend slice on dynamic insertion and compilation panic when flattening (#10051) (79ef33b)
• Correct max_bit_size when left-shifting (#9770) (773e286)
• Correctly handle unusual radices in ToRadix decompositions (#9941) (b9b8210)
• Disable early mem2reg (#9987) (4eb2a5c)
• fuzzer: Mark DivisionByZero with different types as equivalent (#10066) (2e78193)
• fuzz: Handle divisor of zero msg in error comparison (#9995) (c60257c)
• Hoist and then deduplicate (#10047) (58b733a)
• mem2reg: Consider call return aliases (#10016) (0e13cf6)
• parser: Enforce left brace after match expression (#10018) (f666b6e)
• Remove generic length from ECDSA message hash in stdlib (#10043) (5bbec69)
• Signed division by -1 can overflow (#9976) (8ca4af7)
• ssa: Avoid going through i128 when casting signed to u128 (#10045) (94dadc7)
• ssa: Handle OOB indexing of slice literals in remove_unreachalbe_instructions (#9999) (88bf540)
• ssa: Handle partially removed ArrayGet groups of complex type during OOB checks (#10027) (39f193c)
• ssa: Keep defaults for values returned in the databus (#10042) (348d92c)
• ssa: SSA interpreter to return 0 for Intrinsic::*RefCount when constrained (#10033) (6a55e2d)
• ssa: SSA interpreter to use the 2nd arg in slice_refcount (#10034) (821a460)
• ssa: Start with checked operations in index calculations (#9888) (852d0fb)
• stdlib: Only compute the garbage embedded_curve_result result if we know we will need it (#10077) (e5acaf6)
• tag_attr: Keep whitespace tokens when parsing (#9981) (1d260df)

Miscellaneous Chores

• Several ACIR serialisation changes (#8134) (05a61db)