Repository navigation

Fix: Constrain table multiplicities - #1016

Draft

nicole-graus wants to merge 13 commits into

mainfrom

fix/multiplicity-soundness

Commits on Oct 2, 2026
- Bound MUL/DVRM multiplicities and bit-constrain SHIFT zbs and μ
  nicole-graus
  committed
  8e4b829
- Bit-constrain LOAD μ
  nicole-graus
  committed
  7c7e62a
Commits on Oct 5, 2026
- Bound LT multiplicity
  nicole-graus
  committed
  8580f42
- Bound BRANCH multiplicity
  nicole-graus
  committed
  5fec4bf
- Fix clippy lints in tests
  nicole-graus
  committed
  4dd1ee5
Commits on Oct 6, 2026
- Bound table multiplicities with IS_BYTE instead of IS_HALFWORD
  nicole-graus
  committed
  6eea7c2
Commits on Oct 7, 2026
Commits on Oct 8, 2026
- Guard the BYTEWISE multiplicity collector against a zero row cap
  nicole-graus
  committed
  a4b8083
- Treat a prover refusal as inconclusive instead of a rejection in the forgery harness
  nicole-graus
  committed
  cb19d79