Search results

State Export format

bugSomething isn't workingSomething isn't working

Status: Open.

#870 In nl-utwente-groove/code;

· UmRahmana opened on Dec 17, 2025

Nesting level tree in rule display completely off

bugSomething isn't workingSomething isn't working

Status: Open.

#869 In nl-utwente-groove/code;

· rensink opened on Dec 8, 2025

Level-tagged edge name not displayed correctly

bugSomething isn't workingSomething isn't working

Status: Open.

#867 In nl-utwente-groove/code;

· rensink opened on Dec 8, 2025

Get Exploring Dialog window to behave better

enhancementNew feature or requestNew feature or request

Status: Open.

#865 In nl-utwente-groove/code;

· rensink opened on Sep 12, 2025

CTL model checking does not always explore full state space

bugSomething isn't workingSomething isn't working

Status: Open.

#863 In nl-utwente-groove/code;

· rensink opened on Sep 12, 2025

LTS export as control program uses special rule labels rather than rule names

bugSomething isn't workingSomething isn't working

Status: Open.

#861 In nl-utwente-groove/code;

· rensink opened on Sep 12, 2025

Attribute computation not (always) desugared correctly

bugSomething isn't workingSomething isn't working

Status: Open.

#859 In nl-utwente-groove/code;

· rensink opened on May 16, 2025

Erroneous highlighting

bugSomething isn't workingSomething isn't working

Status: Open.

#858 In nl-utwente-groove/code;

· rensink opened on Apr 25, 2025

LTL properties disregard special labels

bugSomething isn't workingSomething isn't working

Status: Open.

#855 In nl-utwente-groove/code;

· rensink opened on Apr 18, 2025

Saving very large state spaces gives OOM exception

bugSomething isn't workingSomething isn't working

Status: Open.

#854 In nl-utwente-groove/code;

· rensink opened on Apr 18, 2025

Renaming a rule to the same word but with different capitalization is not allowed.

Status: Open.

#853 In nl-utwente-groove/code;

· eefscheef opened on Apr 15, 2025

Unable to use mouse when creating 8000 states

Status: Open.

#851 In nl-utwente-groove/code;

· monecky opened on Apr 11, 2025