Search results

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

Extend control language with (negative) applicability test

enhancementNew feature or requestNew feature or request

Status: Open.

#850 In nl-utwente-groove/code;

· rensink opened on Apr 10, 2025

Allow Ctrl-C on nodes and edges in a graph view

enhancementNew feature or requestNew feature or request

Status: Open.

#848 In nl-utwente-groove/code;

· rensink opened on Apr 7, 2025

Improve time performance of recipe exploration

enhancementNew feature or requestNew feature or request

Status: Open.

#847 In nl-utwente-groove/code;

· rensink opened on Apr 7, 2025

Reduce time & memory usage between exploration and reporting

enhancementNew feature or requestNew feature or request

Status: Open.

#846 In nl-utwente-groove/code;

· rensink opened on Apr 7, 2025

Add a category of "scheduled conditions"

enhancementNew feature or requestNew feature or request

Status: Open.

#844 In nl-utwente-groove/code;

· rensink opened on Apr 5, 2025

Out of bounds index

bugSomething isn't workingSomething isn't working

Status: Open.

#843 In nl-utwente-groove/code;

· camielverdult opened on Apr 4, 2025