Issues

• [Bug] External call inside a conditional branch executes unconditionally and mints a record for the untaken branch

  ProvableHQ/leo#29630 · Filter by author NullWitnessZK opened on Sep 4, 2026

• [Bug] Cross-library interface checking accepts mismatched const-generic types

  ProvableHQ/leo#29617 · Filter by author 1sgtpepper opened on Aug 5, 2026
  1

• [Bug] LSP drops module definitions from saved source dependencies

  ProvableHQ/leo#29616 · Filter by author 1sgtpepper opened on Aug 5, 2026

• [Bug] ABI misclassifies a module struct as a record

  ProvableHQ/leo#29615 · Filter by author 1sgtpepper opened on Aug 5, 2026

• [Bug] Inherited interface functions cannot be used through dynamic dispatch

  ProvableHQ/leo#29614 · Filter by author 1sgtpepper opened on Aug 5, 2026

• [Bug] Dynamic calls reject records from module-qualified interfaces

  ProvableHQ/leo#29613 · Filter by author 1sgtpepper opened on Aug 5, 2026

• [Proposal] Comprehensive Leo CLI reliability, usability, and workflow enhancements

  🖥️ CLIproposal
  ProvableHQ/leo#29602 · Filter by author mohammadfawaz opened on Jul 25, 2026

• [Proposal] Merkle Tree in the standard library

  proposal
  ProvableHQ/leo#29600 · Filter by author mohammadfawaz opened on Jul 24, 2026
  1

• [Docs] No error code / error reference anywhere across the docs

  documentation
  ProvableHQ/leo#29596 · Filter by author zklimaleo opened on Jul 21, 2026

• leo add: --network is a source flag, but the verification network is env-only

  🐛 bug🖥️ CLI
  ProvableHQ/leo#29591 · Filter by author mohammadfawaz opened on Jul 16, 2026

• ECLI0377047: "generated invalid Aleo bytecode" for a test calling nested tuple/struct-returning functions

  🐛 bug
  ProvableHQ/leo#29586 · Filter by author mohammadfawaz opened on Jul 14, 2026
  1

  

• [Bug] Storage vector pop in ternary mutates unselected branch

  ProvableHQ/leo#29567 · Filter by author 1sgtpepper opened on Jul 2, 2026

• [Feature] Sibling modules can't share a submodule

  🧱 Core Compiler🚀 feature
  ProvableHQ/leo#29561 · Filter by author mohammadfawaz opened on Jun 29, 2026

• Add IDE plugin screenshots to getting_started/ide.md

  documentation
  ProvableHQ/leo#29500 · Filter by author mohammadfawaz opened on Jun 8, 2026

• final fn references program-interior mappings/storage without qualification

  🐛 bug🧱 Core Compiler
  ProvableHQ/leo#29499 · Filter by author mohammadfawaz opened on Jun 8, 2026
  

• [Proposal] Introducing a Standard Library for Leo

  🧹 Code Quality🧱 Core Compilerproposal
  ProvableHQ/leo#29478 · Filter by author mitchmindtree opened on Jun 2, 2026
  4

  

• leo update broken by per-crate release tags

  🖥️ CLI
  ProvableHQ/leo#29463 · Filter by author mohammadfawaz opened on May 29, 2026
  2

  

• [Proposal] Syntax to enable dynamic function names

  proposal
  ProvableHQ/leo#29458 · Filter by author vicsn opened on May 28, 2026

• Update grammar and github linguist

  documentation
  ProvableHQ/leo#29448 · Filter by author mohammadfawaz opened on May 22, 2026

• [Feature] Leo LSP — next capabilities

  🚀 feature🔌 LSP
  ProvableHQ/leo#29441 · Filter by author JoshuaBatty opened on May 21, 2026
  

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

  documentation
  ProvableHQ/leo#29424 · Filter by author Elexy101 opened on May 15, 2026
  1

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

  documentation
  ProvableHQ/leo#29423 · Filter by author Elexy101 opened on May 15, 2026

• [Bug] orphan functions exist and use undefined variables

  🧱 Core Compiler
  ProvableHQ/leo#29421 · Filter by author vicsn opened on May 14, 2026

• Update Limitations page to current snarkVM (consensus V14) values

  documentation
  ProvableHQ/leo#29386 · Filter by author mohammadfawaz opened on May 1, 2026

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

  documentation
  ProvableHQ/leo#29380 · Filter by author mohammadfawaz opened on May 1, 2026