User Tools

Site Tools


changelog:start

Changelog

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) 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.
  • Updated tutorial on Petri nets.

Previous versions