v0.39.0

0.39.0 (2024-11-19)

⚠ BREAKING CHANGES

• Remove recursive from ACIR format; add them to API and CLI (AztecProtocol/aztec-packages#9479)

Features

• Avoid unnecessary ssa passes while loop unrolling (#6509) (f81c649)
• Deduplicate instructions across blocks (#6499) (b65a63d)
• Encode static error strings in the ABI (AztecProtocol/aztec-packages#9552) (7dd71c1)
• Parallelize DIE pass (AztecProtocol/aztec-packages#9933) (7dd71c1)
• profiler: Reduce memory in Brillig execution flamegraph (#6538) (1cad7c8)
• Simplify constant MSM calls in SSA (#6547) (f291e37)
• SSA parser (#6489) (21c9db5)
• ssa: Unroll small loops in brillig (#6505) (5d5175e)
• Stop with HeapVector (AztecProtocol/aztec-packages#9810) (7dd71c1)
• Sync from noir (AztecProtocol/aztec-packages#9711) (7dd71c1)
• Use a full BlackBoxFunctionSolver implementation when execution brillig during acirgen (#6481) (22fc11a)

Bug Fixes

• Allow range checks to be performed within the comptime intepreter (#6514) (852c87a)
• Disallow #[test] on associated functions (#6449) (35408ab)
• Do a shallow follow_bindings before unification (#6558) (32a9ed9)
• docs: Fix broken links in oracles doc (#6488) (aa37cd5)
• Fix poor handling of aliased references in flattening pass causing some values to be zeroed (#6434) (8932dac)
• Parse Slice type in SSa (#6507) (34ad666)
• Perform arithmetic simplification through CheckedCast (#6502) (72e8de0)
• Set local_module before elaborating each trait (#6506) (1df8c45)
• Take blackbox function outputs into account when merging expressions (#6532) (713df69)
• tests: Use a file lock as well as a mutex to isolate tests cases (#6508) (cfc22cb)
• Treat all parameters as possible aliases of each other (#6477) (0262e5b)
• Typing of artifacts (AztecProtocol/aztec-packages#9581) (7dd71c1)

Miscellaneous Chores

• Remove recursive from ACIR format; add them to API and CLI (AztecProtocol/aztec-packages#9479) (7dd71c1)