Search results

[Bug] ICE: compiler crashes on leo-passes-4.0.2/src/common/block_to_function_rewriter.rs:276:81 with note: the compiler unexpectedly panicked. this is a bug. note: we would appreciate a bug report

Status: Open.

#29391 In ProvableHQ/leo;

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

[Bug] ICE bug: compiler crashes on leo-passes-4.0.2/src/type_checking/ast.rs:1173:17 with note: the compiler unexpectedly panicked. this is a bug. note: we would appreciate a bug report

Status: Open.

#29390 In ProvableHQ/leo;

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

[Bug] Branch hijack bug: void == void folds to true, void != void folds to false, silently rewriting finalize control flow

Status: Open.

#29389 In ProvableHQ/leo;

· anon-researchers-123 opened on May 2, 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

Document the difference between leo execute and leo run in the Executing guide

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29379 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026

Versioned docs

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29378 In ProvableHQ/leo;

· mohammadfawaz opened on May 1, 2026