===== Workcraft v3.3.0 (2020-06-26) =====

=== Usability improvements ===
  * 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 <key>Ctrl-Tab</key>.
  * Close editor tabs and tool panels by middle-click.
  * Extend text editors for custom properties:
    * Undo (<key>Ctrl-Z</key>) and redo (<key>Ctrl-Shift-Z</key>).
    * Text size increase (<key>Ctrl-+</key>), decrease (<key>Ctrl-_</key>) and restore (<key>Ctrl-0</key>).
    * Poup menu of the above commands.


=== Model and tool plugins ===

  * Digital Circuit plugin
    * Allow Verilog gate and port with the same name

  * 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).

=== Fixes and technical stuff ===
  * 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)).