Search results

Overhaul the extractor

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#172 In reilabs/lampe;

· iamrecursion opened on Jun 30, 2025

· 

MX: Miscellaneous Improvements

Stdlib extraction: GlobalStatementNotLet

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#158 In reilabs/lampe;

· piohei opened on Jun 23, 2025

· 

M4: Stdlib and Cryptographic Verification

Stdlib extraction: unavailable data access

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#157 In reilabs/lampe;

· piohei opened on Jun 23, 2025

· 

M4: Stdlib and Cryptographic Verification

Stdlib extraction: function extraction

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#156 In reilabs/lampe;

· piohei opened on Jun 23, 2025

· 

M4: Stdlib and Cryptographic Verification

Stdlib extraction: named generics

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#155 In reilabs/lampe;

· piohei opened on Jun 23, 2025

· 

M4: Stdlib and Cryptographic Verification

Sent message to slack channel when Noir tests are failing

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#154 In reilabs/lampe;

· piohei opened on Jun 23, 2025

· 

MX: Miscellaneous Improvements

Add tutorial with Merkle example

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#137 In reilabs/lampe;

· piohei opened on Jun 6, 2025

· 

MX: Miscellaneous Improvements

Extract, parse, and implement the semantics of enums/match statements.

functionality gapSomething should be working but isn'tSomething should be working but isn't

Status: Open.

Feature

#133 In reilabs/lampe;

· mpenciak opened on Jun 4, 2025

· 

MX: Miscellaneous Improvements

Extract associated constants

functionality gapSomething should be working but isn'tSomething should be working but isn't

Status: Open.

Feature

#130 In reilabs/lampe;

· mpenciak opened on Jun 4, 2025

· 

MX: Miscellaneous Improvements

Investigate failing noir frontend tests

bugSomething isn't workingSomething isn't working

Status: Open.

Task

#119 In reilabs/lampe;

· piohei opened on May 28, 2025

· 

M4: Stdlib and Cryptographic Verification

State an axiom for the maximum integer value being smaller than the field prime

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#114 In reilabs/lampe;

· iamrecursion opened on May 27, 2025

· 

MX: Miscellaneous Improvements

Handle associated types better

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#112 In reilabs/lampe;

· mpenciak opened on May 27, 2025

· 

MX: Miscellaneous Improvements