Skip to content

Issues: reilabs/lampe

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

13 Open 7 Closed
13 Open 7 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

Revisit format strings semantics enhancement New feature or request tech debt Technical debt that should be addressed
#51 opened Jan 24, 2025 by mpenciak Milestone 4
Noir standard library formalization enhancement New feature or request tracking issue Overarching goal
#50 opened Jan 23, 2025 by mpenciak Milestone 4
Inter-project awareness enhancement New feature or request tracking issue Overarching goal
#49 opened Jan 23, 2025 by mpenciak Milestone 3
Project-wide awareness enhancement New feature or request tracking issue Overarching goal
#48 opened Jan 23, 2025 by mpenciak Milestone 2
Turn off auto implicity variables in Lean tech debt Technical debt that should be addressed
#47 opened Jan 23, 2025 by mpenciak Milestone 2
Add cargo checks to CI tech debt Technical debt that should be addressed
#46 opened Jan 23, 2025 by mpenciak Milestone 2
Documentation documentation Improvements or additions to documentation tracking issue Overarching goal
#45 opened Jan 23, 2025 by mpenciak Milestone 2
sorrys in Lampe.Builtin.Field functionality gap Something should be working but isn't
#44 opened Jan 23, 2025 by mpenciak Milestone 2
Debug Rust stack trace size bug Something isn't working
#43 opened Jan 23, 2025 by mpenciak Milestone 1
@mpenciak
End to end test enhancement New feature or request
#42 opened Jan 23, 2025 by mpenciak Milestone 1
1
@mpenciak
Clarify builtins help wanted Extra attention is needed question Further information is requested
#23 opened Dec 8, 2024 by utkn
@utkn
Additional lemmas
#19 opened Nov 28, 2024 by utkn
1
@utkn
Check the current shape of the rust extractor and create tasks for it
#10 opened Nov 5, 2024 by kustosz
@kustosz
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.