===== Workcraft v3.3.5 (2021-08-11) =====

=== Usability improvements ===

  * Focus existing model editor if work file is already open
  * Disable command in popup menu if not applicable


=== Model and tool plugins ===

  * Digital Circuit plugin
    * Handle failure of CSC conflict resolution during logic synthesis
    * Initialise 2-input gates by adding reset gate to their outputs
    * Command to replace circuit component by its implementation
    * Check for blackbox components before validation of reset and loop breaking
    * Improve undo/redo for reset insertion and loop breaking

  * Signal Transition Graph plugin
    * Optimise detection of the initial state of signals from the initial marking
    * Validate initial state of interface signals before N-way conformation
    * Revise handling of instance numbers for signal events and dummies
    * Fix simulation of several enabled instances of the same event


=== Fixes and technical stuff ===

  * Update toolchain to Gradle v7.1.1, PMD v6.36, Checkstyle v8.44
  * Restrict package visibility for unit test classes
  * Refactor tag commands to use method reference instead of lambdas
  * Update of UnfoldingTools backend
    * Fix MPSat for normalisation of Reach predicate
    * Return error code if MPSat fails to resolve CSC conflict during logic synthesis