-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: Consensys/linea-constraints
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(BIN): remove unnecessary preconditions
veridise audit
#381
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix(txnData): missing constraint
veridise audit
#378
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix(rlprcpt): precondition constraint error
veridise audit
#376
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix(blockData): missing finalization constraint
veridise audit
#374
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix(mmio): missing constraint + typo + overconstrained
veridise audit
#371
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix typo in RLP_TXN phase Beta
veridise audit
#369
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix(shf): remove unnecessary binary constraint
veridise audit
#367
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
fix(ROM): missing and duplicate constraint
veridise audit
#365
opened Sep 18, 2024 by
letypequividelespoubelles
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.