8000 Issues · ProvableHQ/leo · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Issues: ProvableHQ/leo

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

100 Open 20,657 Closed
100 Open 20,657 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Bug] Compiler should throw an error for that pass record inputs directly to outputs bug Something isn't working
#28602 opened May 9, 2025 by iamalwaysuncomfortable
1
[Feature] Future leo test extensions and features feature A new feature.
#28596 opened May 5, 2025 by mikebenfield
1
[Proposal] Improve the speed of the code coverage CI and possibly reduce the frequency proposal A proposal for something new.
#28592 opened May 1, 2025 by d0cd
[Feature] Use lock files to determine when depdencies change when switching networks. feature A new feature.
#28591 opened May 1, 2025 by d0cd
[Feature] Test functionality of leo-package feature A new feature.
#28590 opened Apr 30, 2025 by mikebenfield
[Feature] Do not allow the 'constructor' keyword feature A new feature.
#28586 opened Apr 24, 2025 by vicsn
@mikebenfield
[Docs] Leo Coding Standards documentation Improvements or additions to documentation
#28583 opened Apr 22, 2025 by d0cd
@mikebenfield @d0cd @vicsn
[Feature] Consider modifying the AdditionalOutput to have a notion of combining outputs feature A new feature.
#28582 opened Apr 21, 2025 by mikebenfield
[Feature] Reintroduce mut keyword. feature A new feature.
#28581 opened Apr 21, 2025 by d0cd
[Feature] Duplicate outputs. feature A new feature.
#28580 opened Apr 21, 2025 by d0cd
[Feature] Leo fmt feature A new feature. v2.7.0
#28579 opened Apr 18, 2025 by vicsn
[Feature] More data types for on-chain storage. feature A new feature.
#28576 opened Apr 17, 2025 by d0cd
[Feature] Have casts to scalar from address, field or group types compile to cast.lossy feature A new feature.
#28575 opened Apr 16, 2025 by iamalwaysuncomfortable
[Feature] Tell the user variable and constraint count; maybe other data feature A new feature.
#28574 opened Apr 16, 2025 by mikebenfield
2
[Feature] Add support for dynamically-sized containers feature A new feature.
#28573 opened Apr 16, 2025 by vicsn
[Feature] Common subexpression elimination feature A new feature.
#28569 opened Apr 11, 2025 by mikebenfield
[Feature] Tell users what pass names are available for AST snapshots feature A new feature.
#28567 opened Apr 9, 2025 by mikebenfield
[Proposal] Revive the benchmarking framework for the compiler. proposal A proposal for something new.
#28552 opened Mar 31, 2025 by d0cd
[Proposal] Revive the errcov utility to determine error coverage in tests. proposal A proposal for something new.
#28551 opened Mar 31, 2025 by d0cd
[Proposal] Simplify interface of Compiler to just "compile". proposal A proposal for something new.
#28550 opened Mar 31, 2025 by d0cd
[Feature] Internal test framework should be parameterized by network. feature A new feature.
#28549 opened Mar 31, 2025 by d0cd
[Feature] Multi-file Leo programs feature A new feature.
#28548 opened Mar 31, 2025 by vicsn
[Feature] Allow tuples in arrays feature A new feature.
#28535 opened Mar 18, 2025 by alexanderkim11
1
[Feature] Import external structs feature A new feature.
#28534 opened Mar 17, 2025 by alexanderkim11
1
[Feature] Explore hiding async functions feature A new feature. syntax-sugar
#28531 opened Mar 17, 2025 by vicsn
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.
0