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

Finishing touches #1776

Open

2 of 3 tasks

OlivierBBB opened this issue Feb 5, 2025 · 0 comments

Assignees

Labels

Collaborator

OlivierBBB commented Feb 5, 2025 •

edited by letypequividelespoubelles

Loading

re-integrate the HUB $\hookrightarrow$ HUB lookup @OlivierBBB
re-integrate the RLP_TXN $\hookrightarrow$ HUB lookup @letypequividelespoubelles feat: enable lookup rlpTxn into Hub linea-constraints#578
activate the ROM_LEX ordering argument (optimized or not) @letypequividelespoubelles / @DavePearce

OlivierBBB added the enhancement label

OlivierBBB assigned OlivierBBB and letypequividelespoubelles

letypequividelespoubelles linked a pull request

that will close this issue

feat: add cfi lexorder constraint #1845

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment