changelog:v3.1.7
Workcraft v3.1.7 (2017-11-01)
Usability improvements
- 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) andapropos(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.
- Updated tutorial on Petri nets.
Copyright © 2014-2024 workcraft.org