changelog:v3.3.1

Workcraft v3.3.1 (2020-09-28)

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

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)

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%