Scripting is significantly improved, see Scripting interface documentation for details.
Sriptable verification commands.
Automatic generation of wrapper JavaScript functions for scriptable Workcraft commands.
Textual description is added for all JavaScript helper functions. These can be searched with help(substring) (in the function names) and apropos(substring) (in the names and descriptions).
Plugin-specific JavaScript wrapper functions.
Workcraft core JavaScript wrapper functions are split into categories.
Predefined variables are created for the current work: workspaceEntry, visualModel, mathModel.
Workcraft full version in logged in the exported text files.
Model and tool plugins
Finite State Machine and Finite State Transducer plugins
Flexible positioning/orientation of the initial state marker.
Signal Transition Graph plugin
Improved mutex place implementability check. Now “early release” version of the arbitration protocol is also allowed.
Digital Circuit plugin
Separate commands for conversion of Circuit to STG with and without environment composition.
Fixes and technical stuff
Updated Plato backend for circuit specification using Concepts DSL.
Updated Batik libraries to v1.9.1. A minimal required set of JAR files is determined to reduce the distribution size. Static and dynamic dependencies are documented in ThirdParty/batik/README.md.
Improved and structured integration test engine.
New integration tests for transformation, conversion, synthesis, verification, and statistics commands.
Testing coverage is increased from 35% to 41%.
Updated help files for scripting interface and global preferences.