Skip to content

Hurwitz/Hadamard cluster: state proved results directly, drop Statement wrappers - #1093

Merged
PerAlexandersson merged 5 commits into
mainfrom
chore/wrappers-hurwitz
Oct 5, 2026
Merged

PerAlexandersson merged 5 commits into
mainfrom
chore/wrappers-hurwitz

Merge remote-tracking branch 'origin/main' into chore/wrappers-hurwitz

6a0b4d7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
comparator
succeeded Oct 5, 2026 in 9m 5s