-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: Consensys/linea-constraints
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Copy instructions use stack items in the wrong order
veridise audit
#447
opened Oct 10, 2024 by
OlivierBBB
Loading…
MSTORE8 wrongly treated as type 2 instruction in STACKRAM instruction family
veridise audit
#445
opened Oct 10, 2024 by
OlivierBBB
Loading…
delete size into nBytes in the lookup mmio into rom
bug
Something isn't working
#443
opened Oct 10, 2024 by
letypequividelespoubelles
Loading…
424 implicitdebug constraints in implementation
#440
opened Oct 10, 2024 by
lorenzogentile404
Loading…
fix: add CFI to the lookup txnData into rlpTxn
bug
Something isn't working
veridise audit
#439
opened Oct 10, 2024 by
letypequividelespoubelles
Loading…
Lookup selector's for Something isn't working
gas-into-wcp
hadn't been updated
bug
#435
opened Oct 9, 2024 by
OlivierBBB
Loading…
Createe reverts with child (itself, that is)
veridise audit
#433
opened Oct 9, 2024 by
OlivierBBB
Loading…
ProTip!
Adding no:label will show everything without a label.