Issues

• Multigraph diamonds with content-equal creations disagree on edge provenance

  question
  nl-utwente-groove/code#926 · Filter by author rensink opened on Sep 25, 2026

• Merge the resource view tab into the editor tab

  enhancementGraph EditingGraphical User Interface
  nl-utwente-groove/code#921 · Filter by author rensink opened on Sep 21, 2026

• Distinguish resettable from frozen factories, with a build-time dependency check

  maintenance
  nl-utwente-groove/code#920 · Filter by author rensink opened on Sep 21, 2026

• Express the round-trip constraints of the Ecore encoding as conditions

  enhancement
  nl-utwente-groove/code#918 · Filter by author rensink opened on Sep 15, 2026

• File > Restart action for settings that take effect at the next start

  enhancementGraphical User Interface
  nl-utwente-groove/code#917 · Filter by author rensink opened on Sep 9, 2026

• Add the popup-menu actions of the graph displays to the menu bar

  enhancementGraphical User Interface
  nl-utwente-groove/code#916 · Filter by author rensink opened on Sep 8, 2026

• Snap to grid in the JGraph editor snaps corners and sizes rather than node centres

  enhancementGraph Editing
  nl-utwente-groove/code#915 · Filter by author rensink opened on Sep 7, 2026

• Pair has outlived its usefulness as a class: make it a record and move Call/Derivation off it

  maintenance
  nl-utwente-groove/code#914 · Filter by author rensink opened on Sep 6, 2026

• Fixable follow-up: delete the phases with no extent, and turn Grammar into a builder

  maintenance
  nl-utwente-groove/code#912 · Filter by author rensink opened on Sep 6, 2026
  1

• Support indeterminate operators on quantified levels: record and seed sub-level outcomes in rule events

  bugenhancement
  nl-utwente-groove/code#911 · Filter by author rensink opened on Sep 4, 2026

• LTS-to-control export: bind node arguments to control variables instead of don't-care

  enhancementI/O
  nl-utwente-groove/code#910 · Filter by author rensink opened on Sep 3, 2026

• Swappable graph-visualization backend: migrate from JGraph to yFiles

  enhancementmaintenance
  nl-utwente-groove/code#909 · Filter by author rensink opened on Sep 2, 2026

• Revive STS extraction as an offline GTS exporter (model-based-testing interface)

  enhancement
  nl-utwente-groove/code#903 · Filter by author rensink opened on Aug 24, 2026

• Exploration feature model: unrealised feature values and dialog follow-ups

  enhancement
  nl-utwente-groove/code#902 · Filter by author rensink opened on Aug 22, 2026
  1

• Settings resources: deferred follow-ups (metadata in settings file, EAnnotation defaults, table editor, system.properties as a schema)

  enhancement
  nl-utwente-groove/code#898 · Filter by author rensink opened on Aug 21, 2026
  1

• Web manual: document the parallelEdges modes and the mult= aspect (needed for 8.0.0)

  documentation
  nl-utwente-groove/code#896 · Filter by author rensink opened on Aug 21, 2026

• Enable missingEnumCaseDespiteDefault in the Eclipse compiler settings

  maintenance
  nl-utwente-groove/code#889 · Filter by author rensink opened on Aug 10, 2026

• Split GROOVE into Maven modules (gui first, cli second)

  maintenance
  nl-utwente-groove/code#887 · Filter by author rensink opened on Aug 10, 2026
  2

• Revive critical-pair conflict analysis for multigraph/DPO grammars

  maintenance
  nl-utwente-groove/code#886 · Filter by author rensink opened on Aug 10, 2026

• Add a post-exploration CTL check to the Generator

  enhancement
  nl-utwente-groove/code#884 · Filter by author rensink opened on Aug 7, 2026

• Allow algebra expressions as assignment right-hand sides and in conditions in the control language

  enhancement
  nl-utwente-groove/code#883 · Filter by author rensink opened on Aug 7, 2026

• Modernise mouse interaction in the graph panels

  enhancementGraphical User Interface
  nl-utwente-groove/code#882 · Filter by author rensink opened on Aug 7, 2026

• Honour rule priorities in symmetric choices, including explicit a | b

  enhancement
  nl-utwente-groove/code#880 · Filter by author rensink opened on Aug 5, 2026

• Support _ (don't care) abstraction over special transition labels in temporal propositions

  enhancement
  nl-utwente-groove/code#877 · Filter by author rensink opened on Jul 22, 2026
  1

• Create an architecture-notes document (decisions, consequences, features of note)

  documentation
  nl-utwente-groove/code#876 · Filter by author rensink opened on Jul 17, 2026