changelog:v3.3.0

Workcraft v3.3.0 (2020-06-26)

Scripting interface to the commands with additional user-defined parameters, e.g.:
- verification of custom properties;
- 1-way and N-way conformation;
- parallel composition.
Syntax check for custom assertions (e.g. REACH) before running expensive verification – click Check syntax button in custom assertion dialog to confirm property correctness or, in case of a problem, to highlight the syntactic error.
Sort signals in model-level properties in size-lexicographical order.
Handle errors for missing backend tools and gate libraries.
Move the choice of file format for import into the File→Import menu.
Switch between editor tabs with Ctrl+Tab.
Close editor tabs and tool panels by middle-click.
Extend text editors for custom properties:
- Undo (Ctrl+Z) and redo (Ctrl+Shift+Z).
- Text size increase (Ctrl++), decrease (Ctrl+_) and restore (Ctrl+0).
- Poup menu of the above commands.

Signal Transition Graph plugin
- Preset manager for handshake verification wizard.
- Separate REACH templates for STG and Petri net models.
- Prevent name clashing between the pages and signals and places inserted by backend tools.
- Insertion transitions of input/output/internal signals into arcs (available via Transformation menu for selected arcs or via arc popup menu).

Refactor directory structure, build system and distribution scripts to enforce the separation between public and private plugins.
Increase the coverage of source code by unit tests to 68%.
Update of the build system and its plugins to Gradle v6.5.
Update unit testing to JUnit5.
Upgrade graphic exporters to Batik v1.13 and FOP v2.5.
Fix processing of empty-trace in MPSat solutions.
Fix menu update on closure of last editor window.
Pass current directory via -dir: option in Windows.
Updated UnfoldingTools backend:
- Normal form for gC equations.
- Explicit error when gate library is missing.
- Early exit from MPSat after syntax check.
Clean up of legacy code by removing support for:
- MCI unfolding format (instead PNML format is used for all operations).
- Numeric node references (C-style identifiers are used since v3.0.0 (2014-10-01)).