Skip to content

Some minor Graph Inverse Semigroup related fixes/additions - #1198

Merged
james-d-mitchell merged 2 commits into
semigroups:mainfrom
joe-dw:gis
Jun 16, 2026
Merged

Some minor Graph Inverse Semigroup related fixes/additions#1198
james-d-mitchell merged 2 commits into
semigroups:mainfrom
joe-dw:gis

lint

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

Annotations

1 warning
cpplint
succeeded Jun 16, 2026 in 8s