Search results

[Bug] Error [ECLI0377047]: Leo generated invalid Aleo bytecode Please report this issue at https://github.com/ProvableHQ/leo/issues

🐛 bugSomething isn't workingSomething isn't working

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

#29425 In ProvableHQ/leo;

· anon-researchers-123 opened on May 15, 2026

[Docs] credits.aleo integration examples missing Final block handling

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29424 In ProvableHQ/leo;

· Elexy101 opened on May 15, 2026

[Docs] Migration Guide: Verbose Mapping syntax confuses new developers

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29423 In ProvableHQ/leo;

· Elexy101 opened on May 15, 2026

Multi-line error spans render dangling arrows without a label

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

#29422 In ProvableHQ/leo;

· mohammadfawaz opened on May 14, 2026

[Bug] orphan functions exist and use undefined variables

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

#29421 In ProvableHQ/leo;

· vicsn opened on May 14, 2026

Update Limitations page to current snarkVM (consensus V14) values

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29386 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

Add constructor function documentation to Language section

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29385 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

Document the network.id operator

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29384 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

Document the importance of keeping compiler versions consistent across upgrades

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29383 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

[Docs] Create a prominent section on leo devnode in the testing guide

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29382 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

Remove numbering prefixes from documentation filenames

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29381 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

Create dedicated guide for transferring credits and using record types as input in the CLI

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29380 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026