Skip to content
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

Jump to bottom

fix FixParser finite Vec errors #6

Open
raquentin opened this issue Oct 14, 2024 · 0 comments
Open

fix FixParser finite Vec errors #6

raquentin opened this issue Oct 14, 2024 · 0 comments
Labels
bug Something isn't working help wanted Extra attention is needed
Milestone
fix-parser

Comments

@raquentin
Copy link
Owner

There's some errors in the FixParser concept related to some SNat type and vectors. I tried looking it up, i believe it has to do with asserting finitely large vectors. Look into it, implement SNat or whatever and fix
@raquentin raquentin added bug Something isn't working good first issue Good for newcomers labels Oct 14, 2024
@raquentin raquentin added this to the FixParser v1 milestone Oct 14, 2024
@raquentin raquentin moved this to Ready in punt-engine Oct 14, 2024
@raquentin raquentin added help wanted Extra attention is needed and removed good first issue Good for newcomers labels Oct 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working help wanted Extra attention is needed
Projects
punt-engine
Status: Ready
Milestone
fix-parser
Development

No branches or pull requests
1 participant
@raquentin