Skip to content

engine: static validation — unreachable states & dead branches (SPEC §2)#44

Merged
fruwe merged 1 commit into
mainfrom
engine-static-validation
Jul 1, 2026
Merged

engine: static validation — unreachable states & dead branches (SPEC §2)#44
fruwe merged 1 commit into
mainfrom
engine-static-validation

engine: static validation — unreachable states & dead branches (SPEC §2)

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

Annotations

1 warning
conformance
succeeded Jul 1, 2026 in 20s