Skip to content

fix false positives for identity matrix #442#541

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

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

Add tests for identity matrix handling and refine identity matrix rules

2d8ef88
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.