Main menu:

Site search



GROOVE version 4.5.0 released

GROOVE version 4.5.0 was released. You can get it from the Download page.

Apart from the bug fixes, the changes of this version are:

  • Grammar resources must now be named by a valid identifier: spaces are no longer allowed. Increased grammar version to 3.1.
  • Several performance improvements in neighbourhood abstraction (ShapeGenerator).
  • Added multiplicity check in typing.
  • Enabled loading and saving of host graphs, rules and type graphs in subfolders.
  • Multiple start graphs can now be enabled and are merged in the initial state.
  • Start graphs are now stored in the grammar properties.
  • GUI improvements:
    • Display of host graphs is now layered.
    • New find/replace dialog (shortcut Ctrl+F).
    • LTS panel can be completely disabled to allow exploration of large state spaces in the Simulator while avoiding rendering performance problems.
    • Edges with same label going back and forth from node pairs are now rendered as a single bi-directional edge. Controlled by an option in View menu.
    • Added button to collapse all nodes of the trees.
    • Traces that are explicitly selected in the LTS are now also visualised in the rule tree.
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.