Repository navigation

Range-check multiplicities wherever needed for soundness - #1017

Merged

RobinJadoul merged 3 commits into

spec/mult-rangecheck

Oct 12, 2026

Merged

Range-check multiplicities wherever needed for soundness#1017
RobinJadoul merged 3 commits into
spec/mainfrom
spec/mult-rangecheck

Commits on Oct 7, 2026
- Range-check multiplicities wherever needed for soundness
  RobinJadoul
  committed
  92b5093
Commits on Oct 12, 2026
- Make some byte checks unconditional if they could create loops on their multiplicity
  RobinJadoul
  committed
  256e397
- add note
  erik-3milabs
  committed
  fe3097b