Workcraft v3.1.7 (2017-11-01)
Scripting is significantly improved, see
documentation for details.
Sriptable verification commands.
(in the function names) and
(in the names and descriptions).
Predefined variables are created for the current work:
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
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
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.
Updated tutorial on Petri nets.