Possibility to skip layout of large models, so they can be exported without opening in editor (via popup menu in the Workspace area). The threshold size for large model is defined via Model size for layout warning (0-9999) setting in Edit→Preferences→Editor.
Enable linking of custom verification property to assertion expression in external text file (the link is stored as a relative path to the location of the work file)
Improvements to the Simulation tool
Persistent configuration of Waveforms in the simulator tools
Improve slider control for adjusting the speed of automated simulation
Use MPSat trace continuations to identify violating events even if they are preceded by dummies
Model and tool plugins
Digital Circuit plugin
Tool for instantiating library gates and arbitration primitives:
List available library gates and render their symbols
Advanced filtering capabilities (by component type, number of pins and module name)
Verification of refinement relation between the circuit and its environment STG (stricter that conformation)
Signal Transition Graph plugin
Update of 1-way conformation to support models with dummies
Revert selection of STGs in Parallel composition and N-way conformation dialogs using Toggle selection button
Verification of refinement relation between an implementation and specification models. Two flavours are supported (available via Verification menu):
Strict (as per classical refinement definition)
Relaxed (allows concurrency reduction)
Fixes and technical stuff
Update of the build system to Gradle v6.6, PMD v6.26, Checkstyle v8.35
Update of UnfoldingTools backend:
Continuations of violation traces
Improved resolution of CSC conflicts
Code refactoring
Fixes for calling some transformation commands (zero-delay optimisation, read-arc conversion, circuit anonymisation)
Update of distribution generator script:
Fix file permissions on building Workcraft distribution
Use readlink when changing to Workcraft directory in the runner script, so symbolic links can be followed
Refactoring of chain tasks into a functional composition of steps
Increase the coverage of source code by unit tests to 70%