Search results

[Bug] -<code>q</code> flag does not suppress <code>println</code> output

bugSomething isn't workingSomething isn't working

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

Status: Open.

#29053 In ProvableHQ/leo;

· JoshuaBatty opened on Dec 19, 2025

Implement parser recovery for lossless parser

🧱 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.

#29050 In ProvableHQ/leo;

· JoshuaBatty opened on Dec 17, 2025

Cleanup intrinsics handling

🧱 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.

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

Status: Open.

#29044 In ProvableHQ/leo;

· IGI-111 opened on Dec 12, 2025

Remove special accesses in favor of intrinsics

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.

#29043 In ProvableHQ/leo;

· IGI-111 opened on Dec 12, 2025

Missing CLI tests

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

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

Status: Open.

#29041 In ProvableHQ/leo;

· mohammadfawaz opened on Dec 10, 2025

Error out on illegal upgrade when a record output register changes

bugSomething isn't workingSomething isn't working

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

Status: Open.

#29040 In ProvableHQ/leo;

· mohammadfawaz opened on Dec 10, 2025

[Bug] Lower default devnode log-level

bugSomething isn't workingSomething isn't working

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

Status: Open.

#29039 In ProvableHQ/leo;

· vicsn opened on Dec 9, 2025

[Bug] Using an invalid private key should exit the devnode

bugSomething isn't workingSomething isn't working

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

Status: Open.

#29038 In ProvableHQ/leo;

· vicsn opened on Dec 9, 2025

[Feature] Preserve source mapping during codegen. Output source map from compilation for tooling like <code>leo test</code>.

featureA new feature.A new feature.

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

🧱 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.

#29036 In ProvableHQ/leo;

· mitchmindtree opened on Dec 9, 2025

[Feature] On VM halt (e.g. during <code>leo test</code>) the associated error should provide Leo source context

featureA new feature.A new feature.

tooling

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

🧱 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.

#29035 In ProvableHQ/leo;

· mitchmindtree opened on Dec 9, 2025

[Bug] Failing integration tests can leave zombie snarkos processes

bugSomething isn't workingSomething isn't working

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

Status: Open.

#29029 In ProvableHQ/leo;

· mitchmindtree opened on Dec 5, 2025

Building <code>leo</code> CLI binary with <code>cargo build --release</code> takes a long time, ~95% of time spent on LTO

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

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

Status: Open.

#29021 In ProvableHQ/leo;

· mitchmindtree opened on Dec 2, 2025