User Tools

Site Tools


changelog:v3.2.2

Workcraft v3.2.2 (2019-02-01)

Usability improvements

  • Keyboard navigation (arrows), action (Enter), cancellation (Esc) for popup menus.
  • Dot layout for hierarchical graphs – pages and groups are treated as Dot clusters.
  • Put long property names in a tooltip – it appears when the mouse is hoovered over the property.
  • Paste clipboard in mouse cursor coordinates.
  • Anonymisation of models via Transformation→Anonymise command.
  • More distinguishable state of navigation buttons for Simulation tool (new icons).
  • Improvements for Selection and Connection tools:
    • Hold Shift for dragging parallel to axes, i.e. either horizontally or vertically.
    • Hold Shift for creating a polyline connection segment parallel to axes.
    • While creating a new polyline connection, hit Backspace or Delete to remove the last anchor point.

Model and tool plugins

  • Digital Circuit plugin
    • Check circuit for non-quiescent initial state.
    • Popup menu command to remove unused pins of a component.
    • Structural checks in combined verification of several properties. This is to filter out those properties that cannot be verified (e.g. due to presence of dummies) or vacuously hold (e.g. due to absence of mutexes).
  • Signal Transition Graph plugin
    • Suppress Punf warning about empty transition postset when checking N-conformation and Output determinacy by adding redundant places to the postset of each shadow transitions.
    • Fix for synthesis of hierarchical STGs with mutex.
    • Structurally derive mutex protocol before checking output persistency.
    • Warning for verification of STGs with dummies.
    • Structural check for vacuously held Output determinacy.
    • Prevent insertion of CSC signals before mutex grans in resolution of CSC conflicts.
  • Waveform Transition Graph plugin
    • Simulation tool based on conversion to STG.
    • Verification for soundness and implementability.

Fixes and technical stuff

  • A workaround to prevent corrupted export to graphical formats using Batik.
  • Save and restore alpha channel of color property.
  • Stronger types in Node, Connection, Model, Serializer/Deserializer, and Property interfaces.