Skip to content

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

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

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

merge main

77c6ced
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 17, 2026 in 5m 25s