changelog:v3.3.1
Workcraft v3.3.1 (2020-09-28)
Usability improvements
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
Fixes and technical stuff
Update of the build system to Gradle v6.6, PMD v6.26, Checkstyle v8.35
Update of UnfoldingTools backend:
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%
Copyright © 2014-2021 workcraft.org