Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Automated pull of nightly from the noir programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: some mem2reg refactors regarding expressions and aliases (noir-lang/noir#9610)
feat: keep last loads from predecessors in mem2reg (noir-lang/noir#9492)
chore: Update flattening docs (noir-lang/noir#9588)
chore: remove redundant globals creation (noir-lang/noir#9606)
chore: simplify Expression in mem2reg (noir-lang/noir#9599)
chore: remove duplicate
contains_reference
in mem2reg (noir-lang/noir#9602)chore!: remove
verify_signature_slice
methods from stdlib (noir-lang/noir#9597)fix(expand): correctly handle nested dereferences (noir-lang/noir#9598)
fix(ssa): Do not simplify on lhs being zero for shifts (noir-lang/noir#9596)
chore: store last loads in
HashSet
instead ofHashMap
in mem2reg (noir-lang/noir#9498)chore:
--no-ssa-locations
fornargo interpret
and show negative values when printing SSA (noir-lang/noir#9586)fix:
assert_constant
refactors and fixes from audit (noir-lang/noir#9547)fix(ssa): Consider
shl
andshr
to have side effects (noir-lang/noir#9580)fix: avoid invalid cast in
remove_bit_shifts
(noir-lang/noir#9570)fix(mem2reg): Consider aliases of a loaded address to be loaded from as well (noir-lang/noir#9567)
fix: Consume correct number of fields when printing references (noir-lang/noir#9579)
chore: Add a section for numeric type aliases (noir-lang/noir#9589)
chore(remove_paired_rc): Add various unit tests (noir-lang/noir#9425)
fix: incorrect max bit size in
remove_bit_shifts
(noir-lang/noir#9585)chore(ssa): Simplify shl/shr identity operations (noir-lang/noir#9587)
chore: greenlight
brillig_array_get_and_set
for audits (noir-lang/noir#9540)chore(ssa): Update comments on
loop_invariant
for audit and some missing unit tests (noir-lang/noir#9574)chore: Switch to node v22.15.0 (noir-lang/noir#9582)
chore: Update unrolling docs for audit (noir-lang/noir#9572)
chore: greenlight
array_set_optimization
(noir-lang/noir#9560)fix(acir_gen): Keep range checks before side effects (noir-lang/noir#9340)
END_COMMIT_OVERRIDE