Skip to content

Fix: Constrain table multiplicities - #1016

Merged
MauroToscano merged 23 commits into
mainfrom
fix/multiplicity-soundness
Oct 23, 2026
Merged

Fix: Constrain table multiplicities#1016
MauroToscano merged 23 commits into
mainfrom
fix/multiplicity-soundness

Correct comments left stale by the per-row multiplicity counting

647c6b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar