GROOVE

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.