Main menu:

Site search



Archive for August, 2010

GROOVE version 4.0.2 released

Today GROOVE version 4.0.2 was released. You can get it from the Downloads page. The new changes in this release include: – Bug fixes. – Changed the default graph layouter to Forest. – Updates in label parsing and label display. – Added RuleFormula acceptor. – Created exploration statistics dialog in the Simulator. – Added precise […]

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.