Main menu:

Site search

Categories

Archive

GROOVE version 4.4.1 released

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

This is a release intended to fix a serious bug that prevented editing rules.

There are two new funcionalities, namely:

  • New ‘Find a Final State’ action (keyboard shortcut Ctrl-End) that takes the predefined exploration strategy and after exploring switches to a final state.
  • New keyboard shortcut (Ctrl-L) for layouting graphs.
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.