v0.13.0

0.13.0 (2023-09-21)

⚠ BREAKING CHANGES

• constrain is now a hard error (#2758)

Features

• Add pub modifier (#2754) (dda964e)
• Add support for attributes on structs (#2733) (7b3df8e)
• Add wrapping functions in stdlib and use them in relevant test cases (#2725) (49ab121)
• aztec-noir: Abstract storage (#2750) (5481344)
• Constrain is now a hard error (#2758) (388a2b1)
• Refine Noir.js API (#2732) (e79f1ed)
• Short-circuit compilation and read build artifacts from file if program is unchanged (#2743) (87fea4b)
• Signed arithmetic (#2748) (a84216d)
• traits: Implement trait bounds def collector + resolver passes (#2716) (e3d18bb)
• traits: Type checking for Trait impl method signatures (#2652) (8617008)
• Variable liveness analysis for brillig (#2715) (ddb05ab)

Bug Fixes

• Add error message for a contract package with no contracts (#2762) (9701a0c)
• Check for literal overflows in expressions (#2742) (4009f30)
• Keep the correct type for bitshift (#2739) (04fc2ea)
• Make Vec::get accept immutable Vecs (#2776) (f168a54)
• Nightly js test (#2740) (36dcd48)