User Tools

Site Tools


changelog:v3.0.8

Workcraft v3.0.8 (2016-01-30)

Usability improvements

  • Export of visual model into PDF, PS and PNG formats.
  • Config files are now saved in .workcraft directory of the user home thus making configuration user-specific.
  • Configurable alignment of the text in a comment box (left centre or right).
  • Possibility to redirect stdout and stderr output of backend tools into the Output tab. This is configurable in global settings (Edit→Preferences…) individually for Petrify, Punf and MPSat.
  • Colouring of [INFO], [WARNING] and [ERROR] log entries. Highlighting stdout and stderr output of the backend tools. The colours are configurable in Common→Log section of global settings.
  • Advanced mode for running backend tools (currently MPSat and Petrify) can be switched on in the corresponding tool global settings. In this mode the additional command line parameters are requested every time the backend tool is called.
  • Hierarchy separator / and flat name separator __ can be changed in Common→Editor section of global settings.
  • Sections are introduced to better organised Conversion, Transformations, Verification and Synthesis menus.
  • Automated generation of a popup menu for transformation actions applicable to a specific node type. This is accessible via right-click of the mouse on nodes and arcs.
  • A transformation tool to straighten all or selected arcs.

Model and tool plugins

  • Signal Transition Graph plugin
    • Net synthesis tool for hiding selected dummies and signals is added to the Conversion menu.
    • Tools for transformations of place proxies are added to the Transformations menu.
    • A tool for transition contraction is added to the Transformations menu.
  • Conditional Partial Order Graph plugin
    • Interface to PGMiner tool in revised.
    • Improved text entry of CPOGs.
    • In-place editor for vertex labels.

Fixes and technical stuff

  • UnfoldingTools (Punf, MPSat and PComp) are updated to the latest version.
  • Batik is updated to version 1.8.
  • FlexDock is updated to version 1.2.4.
  • The standard Desktop API is replaced by internal (more robust) implementation.
  • Refactoring of Petrify transform task.
  • New Punf is used now for both PNML and MCI unfoldings.