Search results

[chore] Update some dependencies

dependenciesPull requests that update a dependency file,Pull requests that update a dependency file,

Status: Open.

Task

#29106 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 6, 2026

[Bug] Flakey CI: <code>network_dependency</code> integration test fails intermittently

bugSomething isn't workingSomething isn't working

🤖 CIAnything related to CI bugs or enhancementsAnything related to CI bugs or enhancements

🧪 TestingAnything related to testing the compiler and its tooling.Anything related to testing the compiler and its tooling.

Status: Open.

#29099 In ProvableHQ/leo;

· mitchmindtree opened on Feb 5, 2026

[Bug] Length of playground programs leads to large fee

bugSomething isn't workingSomething isn't working

🕹️ PlaygroundAnything related to the Leo playground site and LSP.Anything related to the Leo playground site and LSP.

Status: Open.

#29090 In ProvableHQ/leo;

· vicsn opened on Feb 2, 2026

[Refactor] Integrate new <code>rowan</code>-based parser in <code>leo-fmt</code>

leo fmtAnything related the Leo formatterAnything related the Leo formatter

refactorRefactor or cleanup.Refactor or cleanup.

tooling

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

Status: Open.

#29089 In ProvableHQ/leo;

· mitchmindtree opened on Feb 2, 2026

[Feature] <code>rowan</code>-based lossless parser - AST Conversion &amp; Integration

featureA new feature.A new feature.

🧱 Core CompilerAnything related to the core compiler including parsing, analysis, transforms, codegen, etc.Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.

Status: Open.

#29088 In ProvableHQ/leo;

· mitchmindtree opened on Feb 2, 2026

[Tracking] <code>rowan</code>-based lossless parser - aimed at improving formatter, LSP support

refactorRefactor or cleanup.Refactor or cleanup.

🧱 Core CompilerAnything related to the core compiler including parsing, analysis, transforms, codegen, etc.Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.

Status: Open.

#29085 In ProvableHQ/leo;

· mitchmindtree opened on Feb 2, 2026

[Feature] Dynamic Dispatch

featureA new feature.A new feature.

Status: Open.

#29082 In ProvableHQ/leo;

· d0cd opened on Jan 27, 2026

[Feature] ABI: Add proper support for const generic structs

featureA new feature.A new feature.

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

🧬 JSON ABIEverything related to the JSON ABIEverything related to the JSON ABI

Status: Open.

Feature

#29079 In ProvableHQ/leo;

· mitchmindtree opened on Jan 26, 2026

[Bug] Unable to declare signature types

bugSomething isn't workingSomething isn't working

Status: Open.

#29078 In ProvableHQ/leo;

· AleoAlexander opened on Jan 24, 2026

[Refactor] Rename <code>cli::JsonOutput</code> to just <code>cli::Output</code>

priority-lowA low priority bug/task in Leo.A low priority bug/task in Leo.

🔍 leo testAnything related to the `leo test` CLI command.Anything related to the `leo test` CLI command.

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

🧹 Code QualityAnything related to code refactoring, repo enhancements, etc.Anything related to code refactoring, repo enhancements, etc.

Status: Open.

#29077 In ProvableHQ/leo;

· mitchmindtree opened on Jan 22, 2026

[Feature] Generate JSON ABI from <code>.aleo</code> files via <code>leo abi</code> command

featureA new feature.A new feature.

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

🧬 JSON ABIEverything related to the JSON ABIEverything related to the JSON ABI

Status: Open.

Feature

#29074 In ProvableHQ/leo;

· mitchmindtree opened on Jan 21, 2026

[Bug] <code>leo new</code> shouldn't allow Leo keywords as program names

bugSomething isn't workingSomething isn't working

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

Status: Open.

#29071 In ProvableHQ/leo;

· mohammadfawaz opened on Jan 20, 2026