-
Notifications
You must be signed in to change notification settings - Fork 1
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Implementation of Something isn't working
veridise audit
MMU
update
bug
#387
opened Sep 19, 2024 by
OlivierBBB
Implementation of Something isn't working
veridise audit
MMIO
update
bug
#385
opened Sep 19, 2024 by
OlivierBBB
unnecessary precondition in BIN
veridise audit
#379
opened Sep 18, 2024 by
letypequividelespoubelles
missing finalization constraint in BLOCK_DATA
veridise audit
#373
opened Sep 18, 2024 by
letypequividelespoubelles
binary constraint duplocate in SHF
veridise audit
#366
opened Sep 18, 2024 by
letypequividelespoubelles
Network constants diversity
help wanted
Extra attention is needed
#354
opened Sep 16, 2024 by
OlivierBBB
fix ramToLimbSingleSource doesn't read TBO
bug
Something isn't working
veridise audit
#348
opened Sep 16, 2024 by
letypequividelespoubelles
We have several Improvements or additions to documentation
warning
.lispX
files through out the project that we will have to get rid off as we go
documentation
#341
opened Sep 12, 2024 by
OlivierBBB
Update the
(set-MMU-inst-right-padded-word-extraction ... )
function interface
#215
opened May 28, 2024 by
OlivierBBB
Formal verification related fixes
bug
Something isn't working
#29
opened Oct 27, 2023 by
OlivierBBB
16 of 21 tasks
ProTip!
Updated in the last three days: updated:>2024-09-17.