GROOVE version 4.7.0 released
Apart from bug fixes, the changes in the last two versions are:
- Support for GROOVY added (see http://groovy.codehaus.org/)
- 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
- 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
Posted: November 15th, 2012 under News.
Comments: none
