What's new in GROOVE 4.7.0
Jan 18, 2013
- Bug fixes (see SourceForge)
- Exploration now always halted after 1000 states giving the user choice to proceed
- LTS display always limited to displaying up to used-defined state number (disabling gone)
- LTS and state tabs are now main display tabs
- Recipe support much improved, recipes shown in rule list
- Improved display of enabled/explored matches in rule list
- Support for GROOVY added (see http://groovy.codehaus.org/)
New in GROOVE 4.6.0 (Jan 18, 2013)
- Lots of bug fixes (see SourceForge)
- Abs function added to algebra operations
- Multiline text in remark nodes now kept in order
- Resource name ordering adapted to a more human-friendly treatment of numbers
- Layout changes outside graph editor saved automatically & undoably
- Automatic exploration in the presence of input parameters enabled for point algebra
New in GROOVE 4.5.2 (Jan 18, 2013)
- Bug fix: proper behaviour of Hide LTS and Filter LTS buttons.
New in GROOVE 4.5.1 (Jan 18, 2013)
- Bug fix: creating new control program no longer crashes the Simulator
New in GROOVE 4.5.0 (Jan 18, 2013)
- Bug fixes.
- 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.
New in GROOVE 4.4.5 (Jan 18, 2013)
- Font changed back from bold to standard