Workcraft v3.2.1 (2018-11-01)
Filter for favorite model types in
dialog. Models can be defined as favourite in
Common→New work favorites
section of global preferences.
Warning when loading work files created by newer versions of Workcraft.
Structural checks for Circuit and
models before proceeding with verification.
Model and tool plugins
Digital Circuit plugin
On circuit wire routing align first/last control points to adjacent pins.
elements on Verilog import.
Convert trivial assign statements in Petrify output for technology mapping into
Compatibility checks for circuit and its environment before proceeding with verification.
Improve deadlock verification for circuits, taking into account that it cannot be reliably checked in case of conformation violation.
Signal Transition Graph plugin
for output determinacy, i.e. that the
is not self-contradictory.
Verification of N-way conformation for STGs with dummies (previously dummies were forbidden for technical reasons).
Corrections for visualisation and
export of the promised place capacity.
simulation highlight arcs with implicit marked place.
Fixes and technical stuff
Updated UnfoldingTools backend to support
mode of MPsat – work out the complete trace (including the trailing dummies) to the violation.
Command line option to start Workcraft without loading/overwriting user config – this useful for scripting.
Use short header in exported files
that allows skipping Workcraft version in the file header (useful for scripting and regression testing).
Use external JavaBeans Activation Framework (JAF) for compatibility with the newer versions of JVM (JAF was deprecated in Java 9).
Prevent inconsistent state of
for Mathematical and Visual models.
Update of help and tutorials.