Skip to content

fix false positives for identity matrix #442#541

Merged
NSoiffer merged 1 commit intodaisy:mainfrom
moritz-gross:fix/false-positive-identity-matrix
Apr 2, 2026
Merged

fix false positives for identity matrix #442#541
NSoiffer merged 1 commit intodaisy:mainfrom
moritz-gross:fix/false-positive-identity-matrix

Commits

Commits on Apr 2, 2026