GROOVE version 4.0.0 released
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.
Posted: June 3rd, 2010 under News, Release.
Comments: none