Skip to content

Issues: Consensys/linea-constraints

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

Clear current search query, filters, and sorts
25 Open 486 Closed
25 Open 486 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

More HUB debugging related changes
#507 by OlivierBBB was merged Nov 11, 2024 Loading…
1
More HUB debugging related changes debugging
#506 by OlivierBBB was closed Nov 11, 2024
1
@OlivierBBB
Implement simplified return data setting for RETURN's from deployments
#505 by OlivierBBB was merged Nov 6, 2024 Loading…
1
Implement simplified return data setting for RETURN's from deployment
#504 by OlivierBBB was closed Nov 6, 2024
1
@OlivierBBB
Make the constraints compile again
#503 by OlivierBBB was merged Nov 6, 2024 Loading…
More HUB debugging
#502 by OlivierBBB was merged Nov 6, 2024 Loading…
1
4
More HUB debugging
#499 by OlivierBBB was closed Nov 6, 2024
1
@OlivierBBB
feat: update corset to the latest version
#498 by DavePearce was merged Nov 5, 2024 Loading…
1
1
Update corset version in CI enhancement New feature or request
#497 by DavePearce was closed Nov 5, 2024
1
@DavePearce
Remove (vanishes! 0)
#496 by DavePearce was merged Nov 5, 2024 Loading…
1
1
Remove (vanishes! 0)
#495 by DavePearce was closed Nov 5, 2024
1
Adding HUB constraints
#494 by OlivierBBB was merged Nov 5, 2024 Loading…
3
Remaining todos endgame
#493 by OlivierBBB was merged Nov 6, 2024 Loading…
@OlivierBBB
3
fix(logdata): fix nBYTES check only if logs data bug Something isn't working
#491 by letypequividelespoubelles was merged Nov 4, 2024 Loading…
@letypequividelespoubelles
1
Update Makefile
#490 by OlivierBBB was merged Oct 30, 2024 Loading…
Duplicate and unused code snippets EXP OOB MXP veridise audit
#489 by lorenzogentile404 was merged Oct 30, 2024 Loading…
1
@lorenzogentile404
2
Duplicate and unused code snippets veridise audit
#488 by lorenzogentile404 was closed Oct 30, 2024
1
@lorenzogentile404
REMAINING TODOs exp and mxp veridise audit
#487 by lorenzogentile404 was merged Nov 6, 2024 Loading…
1
@lorenzogentile404
3
Remaining TODOs veridise audit
#486 by lorenzogentile404 was closed Nov 6, 2024
1
@lorenzogentile404
some HUB constraints debugging
#485 by letypequividelespoubelles was merged Nov 4, 2024 Loading…
1
add HUB constraints
#484 by letypequividelespoubelles was closed Nov 4, 2024
1
revert add HUB constraints
#483 by letypequividelespoubelles was merged Oct 30, 2024 Loading…
Adding unpermuted account columns
#482 by OlivierBBB was merged Oct 30, 2024 Loading…
1
Add unpermuted columns consistency
#481 by OlivierBBB was closed Oct 30, 2024
1
@OlivierBBB
Yet more veridise debugging
#480 by OlivierBBB was merged Nov 6, 2024 Loading…
ProTip! Adding no:label will show everything without a label.