Skip to content

feat(semantic constraints): add ConnectedAP checks - #3

Merged
JakobVogelsang merged 18 commits into
mainfrom
add-more-semantic-constaints
Oct 16, 2026
Merged

JakobVogelsang merged 18 commits into
mainfrom
add-more-semantic-constaints

feat(SemConstr): add IED checks

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

Annotations

1 warning and 1 notice
test
succeeded Oct 16, 2026 in 1m 0s