Workcraft v3.1.0 (2016-05-29)
First release with OS X support!
Better support for high DPI displays. A configurable
Visual→Base font size (points)
value is used to scale the
Signal related settings (shared among
, Circuit, and
) are moved to
Improved handling of backend tool failure – a more detailed message is output to the user.
Model and tool plugins
Digital Circuit plugin
Open synthesis results as Digital Circuit
for Petrify and MPSat backends.
Check for circuit integrity before component contraction.
Signal Transition Graph plugin
New verification property
Delay insensitive interface (without dummies) [MPSat]
Tool for mirroring polarity of
Forbid several connections between
transitions (this leads to implicit places with ambiguous names and contradicts definition of STGs).
characters are forbidden in Reach expression editor of custom verification properties.
Improvements for MPSat custom verification dialog.
Remove isolated marked places before calling Petrify, as such places are redundant but upset Petrify .g parser.
Warning on increase of place capacity during simulation.
Simulation tool is moved from Petri nets and
plugins into Workcraft core.
Extended by vertex labelling function to serve as a basis for timing diagrams model.
Converter from Graph to Petri net.
Reuse of Petri net simulation engine for Graphs.
A tool for identifying unreachable vertices.
Digital Timing Diagram plugin
A new plugin to support visualisation and editing of timing diagrams.
Using connection tool to order signal events.
Movement of signal waveforms and signal edges is restricted by causality arcs.
Generating Edge and Pulse patterns of timing diagrams by clicking on the
and Circuit simulation traces into timing diagram. It is activated by pressing the
Generate trace diagram
button in the simulation tool.
The order of signals in the timing diagram can be rearranged by drag-and-drop of the
table rows in the simulation tool.
Configurable visibility and color of signals waveforms in the
Conditional Partial Order Graph plugin
CPOG algebra tools are moved to a dedicated Algebra menu.
Code for evaluation, rendering and minimisation of Boolean formulas is moved from CPOG plugin into Workcraft core.
Optimisation to enable rendering vertices as labels even in larger CPOG models.
Fixes and technical stuff
All backend tools are built for OS X.
Standard OS-specific configuration directory.
Clean up of the source code to comply with more Checkstyle and PMD rules.
Trailing directory separator is made explicit in path variables of
– some versions of Windows require this.
Refactoring for consistent plugin naming.