Pull requests: ProvableHQ/leo
Pull requests list
fix(typeck): reject non-path receivers for Vector/Mapping storage ops
🐛 bug
Something isn't working
🧱 Core Compiler
Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.
#29432
opened May 19, 2026 by
mohammadfawaz
Collaborator
Loading…
feat(workspaces): globs, --workspace, auto-add member (Phase 4)
🖥️ CLI
Anything related to the Leo CLI.
🚀 feature
A new feature.
#29429
opened May 17, 2026 by
mitchmindtree
Collaborator
Loading…
ci: cache target/ and right-size glue jobs
🤖 CI
Anything related to CI bugs or enhancements
#29427
opened May 15, 2026 by
mohammadfawaz
Collaborator
Loading…
feat: add read-only Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.
🚀 feature
A new feature.
view fn entry points (V15)
🧱 Core Compiler
#29419
opened May 13, 2026 by
mohammadfawaz
Collaborator
•
Draft
Docs improvement
documentation
Improvements or additions to documentation
#29408
opened May 7, 2026 by
mohammadfawaz
Collaborator
•
Draft
feat(passes): leverage snarkVM aggregate ternary opcodes
🧱 Core Compiler
Anything related to the core compiler including parsing, analysis, transforms, codegen, etc.
dependencies
Pull requests that update a dependency file,
🚀 feature
A new feature.
#29349
opened Apr 18, 2026 by
mohammadfawaz
Collaborator
•
Draft
5 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.