changelog:v3.1.2

Workcraft v3.1.2 (2016-09-21)

Improved report and extended violation traces for output persistency and conformation (both for circuits and STGs).
- For output persistency a transition that disables a non-persistent signal is appended to the solution trace.
- For conformation a transition that is not expected by the environment is appended.
- The name of problematic signal is also reported in the Verification results window and in the Output tab.
Generate waveform for a combined Trace/Branch sequence of events.
Close CMD window after running workcraft.bat in Windows.
Activate text entry on creation of Comment node
Esc key can be used for switching back to the selection tool.

Signal Transition Graph plugin
- Interface to Concepts backend tool for specification of STGs using Concepts. It is available under Conversion→Translate concepts menu. Also available via File→Import… menu.
- Remove redundant anchors after transition contraction.

Fix for PNConf generation in Xmas plugin.
Pass vxm temporary directory as a working directory to fix OSX version of xMAS plugin.
Support for assign statements in new version of Petrify (to be released later).
Petrify is used with -mc option for stdC synthesis now. We came to a conclusion that -gcm option is impractical (less interesting than both -mc and -gc) and removed it from the Synthesis menu.
Updated UnfoldingTools
- In the stdC mode, when a signal implementation is degraded, MPSAT generates a CG one.
- When a set or reset cover in stdC is a single literal, monotonicity constraint is not required and MPSAT now optimizes the implementation.
- Better support of constants at synthesis and Verilog export.
Support for new version of Petrify (not included in the distribution as currently only Linux binary is available).