Main menu:

Site search



GROOVE version 4.0.0 released

Today GROOVE version 4.0.0 was released. You can get it from the Downloads page.

There are many changes and new features in this release, such as:

  • Inclusion of type graphs and type checking.
  • Inclusion of boolean conditions on nodes, called ‘flags’.
  • Added a wrapper that shows a bug report dialog for uncaught exceptions in the GUI.
  • Created a new Exploration Dialog that provides more flexibility on how to explore the state space.
  • Added input and output parameters in the control language.
  • Format errors are now highlighted in the graph and selectable in the error list.
  • Added an option to renumber all nodes to a consecutive sequence starting at 0.
  • Included grammar versions, and versioning checks.
  • Result states are now shown in orange in the LTS.
  • Unified the Generator exploration options with the Simulator.
  • Rules now have a transition label property that is shown in LTS.
  • Added the export simulation option to the Generator.
Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.