Pulse · Consensys/linea-constraints · GitHub

November 12, 2024 – November 15, 2024

Overview

3 Active pull requests

3 Active issues

1 Pull request merged by 1 person

feat(mmio): plug MMIO
#313 merged Nov 13, 2024

2 Pull requests opened by 1 person

fix: exo sum must be decoded for LIMB_VANISHES MMIO inst
#509 opened Nov 15, 2024
remove nbAdded and nbAdded
#511 opened Nov 15, 2024

1 Issue closed by 1 person

Switch on MMIO constraints
#144 closed Nov 13, 2024

2 Issues opened by 1 person

rm hub.nbAdded
#510 opened Nov 15, 2024
need to decode ExoSum for Limb vanishes MMIO inst
#508 opened Nov 15, 2024