Skip to content

feat: add Grouped equivalence properties - #24698

Open
xavlee wants to merge 5 commits into
apache:mainfrom
xavlee:feat/issue-24438-group-contiguous-property
Open

xavlee wants to merge 5 commits into
apache:mainfrom
xavlee:feat/issue-24438-group-contiguous-property

feat: add grouped equivalence properties

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

Annotations

1 warning
Process
succeeded Oct 7, 2026 in 7s