Skip to content

Implemented querying of colors in unfold and explicit engine - #227

Open
mtygesen wants to merge 6 commits into
TAPAAL:mainfrom
mtygesen:color-query
Open

Implemented querying of colors in unfold and explicit engine#227
mtygesen wants to merge 6 commits into
TAPAAL:mainfrom
mtygesen:color-query

Commits

Commits on Aug 13, 2026

Commits on Aug 14, 2026