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

.lispX files will have to be converted to .lisp #341

Open
OlivierBBB opened this issue Sep 12, 2024 · 5 comments
Open

.lispX files will have to be converted to .lisp #341

OlivierBBB opened this issue Sep 12, 2024 · 5 comments
Labels
documentation Improvements or additions to documentation warning

Comments

@OlivierBBB
Copy link
Collaborator

In particular I added one to disable the lookup TXN_DATA -> BLOCKDATA.
@OlivierBBB OlivierBBB added documentation Improvements or additions to documentation warning labels Sep 12, 2024
@letypequividelespoubelles
Copy link
Collaborator

Duplicate of #173

@letypequividelespoubelles letypequividelespoubelles marked this as a duplicate of #173 Sep 15, 2024
@letypequividelespoubelles
Copy link
Collaborator

letypequividelespoubelles commented Sep 18, 2024 •
edited
Loading

@OlivierBBB why is the lookup TXN_DATA to BLOCKDATA disabled ? It should be working no ?

@OlivierBBB
Copy link
Collaborator Author

OlivierBBB commented Sep 18, 2024 •
edited
Loading

It was for LINEA_NETWORK_CONSTANTs reasons. But I don't think it is anymore. I think I changed it back @letypequividelespoubelles

@OlivierBBB
Copy link
Collaborator Author

OlivierBBB commented Oct 22, 2024 •
edited
Loading

Currently there are 4 (2 of which I added, those emanating from mmio, as the lookups were commented rather than .lispX'd) @letypequividelespoubelles

image

@OlivierBBB OlivierBBB changed the title We have several .lispX files through out the project that we will have to get rid off as we go .lispX files will have to be converted to .lisp Oct 22, 2024
@letypequividelespoubelles
Copy link
Collaborator

no more lispX for the MMIO in https://github.com/Consensys/linea-constraints/pull/313/files

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation warning
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@OlivierBBB @letypequividelespoubelles