changelog:v3.1.1

Workcraft v3.1.1 (2016-06-30)

Tool-specific mouse cursors are used to emphasise the currently active tool.
Conversion of work files to supported export formats from command line.
Correctly enable/disable menus on switching between works.
Initial support for checking SVA-like invariants in circuits and STG models.
In OSX shortcuts are based on ⌘ key instead of Ctrl.
Native OSX menu bar for Mac users.
Both Delete and Backspace keys can be used for removing selected objects (for laptops without Delete button).
Alignment of multi-line labels.
Rendering of check-boxes, radio-buttons and file selection dialog icons for high-DPI displays.

Signal Transition Graph plugin
- SVA-like invariants can be checked via Verification→Custom assertion… [MPSat] menu.

Conditional Partial Order Graph plugin
- Synthesis into Digital Circuit via Verilog import.
- Allow self-loops in Directed Graph and CPOG models.
- Update of conditions when CPOG variables change.
- Prevent pgminer from running on empty graph.

Reduce the probability of concurrent modification exception (was often seen on import from Verilog).
Bug-fixes in renaming STG transitions.
Updated UnfoldingTools to support SVA-like invariants.
Updated ScEnco backend tool to support Verilog output.
Prevent creation of ~/felxdock/ directory.