Avoid unnecessary ssa passes while loop unrolling (#6509) (f81c649)
Deduplicate instructions across blocks (#6499) (b65a63d)
Encode static error strings in the ABI (https://github.com/AztecProtocol/aztec-packages/pull/9552) (7dd71c1)
Parallelize DIE pass (https://github.com/AztecProtocol/aztec-packages/pull/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 (https://github.com/AztecProtocol/aztec-packages/pull/9810) (7dd71c1)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/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 (https://github.com/AztecProtocol/aztec-packages/pull/9581) (7dd71c1)

Miscellaneous Chores

Remove recursive from ACIR format; add them to API and CLI (https://github.com/AztecProtocol/aztec-packages/pull/9479) (7dd71c1)

0.38.0-245f50d.nightly

Diff

noir-lang

published 0.38.0-245f50d.nightly • 2 months ago

0.38.0-8932dac.nightly

Diff

noir-lang

published 0.38.0-8932dac.nightly • 2 months ago

0.38.0-852c87a.nightly

Diff

noir-lang

published 0.38.0-852c87a.nightly • 2 months ago

0.38.0-0fc0c53.nightly

Diff

noir-lang

published 0.38.0-0fc0c53.nightly • 2 months ago

0.38.0-1df8c45.nightly

Diff

noir-lang

published 0.38.0-1df8c45.nightly • 2 months ago

0.38.0-b65a63d.nightly

Diff

noir-lang

published 0.38.0-b65a63d.nightly • 2 months ago

0.38.0-aa37cd5.nightly

Diff

noir-lang

published 0.38.0-aa37cd5.nightly • 2 months ago

0.38.0

Diff

noir-lang

published 0.38.0 • 2 months ago

Changelog

Source

0.38.0 (2024-11-08)

⚠ BREAKING CHANGES

Always Check Arithmetic Generics at Monomorphization (#6329)

Features

Always Check Arithmetic Generics at Monomorphization (#6329) (2972db2)
Ensure that generated ACIR is solvable (#6415) (b473d99)
Nargo command to generate shell completions (#6413) (13856a1)

Bug Fixes

Check infix expression is valid in program input (#6450) (35dedb5)
Discard optimisation that would change execution ordering or that is related to call outputs (#6461) (b8654f7)
Don't crash on AsTraitPath with empty path (#6454) (fc72dcd)
Fix Alias and Error kinds (#6426) (3cb259f)
Let formatter respect newlines between comments (#6458) (fb1a8ca)
Right shift is not a regular division (#6400) (2247814)
sea: Mem2reg to treat block input references as alias (#6452) (5310064)
ssa: Change array_set to not mutate slices coming from function inputs (#6463) (371bd45)
ssa: Resolve value IDs in terminator before comparing to array (#6448) (66f15ca)
tests: Prevent EOF error while running test programs (#6455) (358e381)
Type-check turbofish in trait before function call (#6416) (f8fd813)

0.37.0-b74b4ea.nightly

Diff

noir-lang

published 0.37.0-b74b4ea.nightly • 2 months ago

…