Search results

ACIR vs. SSA interpreter: failure in ACIR

bugSomething isn't workingSomething isn't working

Status: Open.

#9688 In noir-lang/noir;

· asterite opened on Aug 29, 2025

Allow oracle calls from constrained functions

enhancementNew feature or requestNew feature or request

Status: Open.

#9671 In noir-lang/noir;

· nventuro opened on Aug 28, 2025

<code>#[fold]</code> function can incorrectly return references

bugSomething isn't workingSomething isn't working

Status: Open.

#9669 In noir-lang/noir;

· asterite opened on Aug 28, 2025

Compiler crashes on main returning reference

bugSomething isn't workingSomething isn't working

Status: Open.

#9660 In noir-lang/noir;

· defkit opened on Aug 28, 2025

Inconsistencies on whether <code>Instruction::MakeArray</code> should be hoisted in brillig runtimes

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

loop_invariant

Status: Open.

#9646 In noir-lang/noir;

· TomAFrench opened on Aug 26, 2025

· 

Internal Review Group 2

Restrictions on hoisting casts seems overly restrictive.

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

loop_invariant

Status: Open.

#9644 In noir-lang/noir;

· TomAFrench opened on Aug 26, 2025

· 

Internal Review Group 2

Some <code>LoopInvariantContext</code> methods are named implying that they're pure but are in fact setters.

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

loop_invariant

Status: Open.

#9641 In noir-lang/noir;

· TomAFrench opened on Aug 26, 2025

· 

Internal Review Group 2

<code>current_induction_variables</code> is misleading.

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

loop_invariant

Status: Open.

#9639 In noir-lang/noir;

· TomAFrench opened on Aug 26, 2025

· 

Internal Review Group 2

<code>set_values_defined_in_loop</code> implies the need for a <code>LoopContext</code>

auditPreparation or execution of security code audits.Preparation or execution of security code audits.

loop_invariant

Status: Open.

#9637 In noir-lang/noir;

· TomAFrench opened on Aug 26, 2025

· 

Internal Review Group 2

ACIR vs Brillig: malformed ecdsa, acir failed to compile

bugSomething isn't workingSomething isn't working

Status: Open.

#9619 In noir-lang/noir;

· defkit opened on Aug 25, 2025

mem2reg <code>invalidate_all_references</code> could only invalidate references of the same underlying type

enhancementNew feature or requestNew feature or request

Status: Open.

#9614 In noir-lang/noir;

· asterite opened on Aug 22, 2025

<code>aliased_references</code> in mem2reg duplicates logic from <code>Block</code>

Status: Open.

#9609 In noir-lang/noir;

· jfecher opened on Aug 21, 2025