===== Workcraft v3.3.7 (2022-03-25) =====

=== Usability improvements ===

  * Add possibility to pan editor view in full viewport steps via <key>Ctrl-Shift-Left</key>, <key>Up</key>, <key>Right</key>, <key>Down</key>
  * Prevent drag-and-drop of graph elements while selecting with <key>Ctrl</key>/<key>Shift</key>


=== Model and tool plugins ===

  * Digital Circuit plugin
    * For better visibility, use bold contact outlines for enabled signals in circuit simulation 
    * Improve compatibility diagnostics between circuit component and its refinement model
    * Add means to quickly locate circuit components via model-level //Property editor//
    * Extend support for importing Verilog with buses
    * Improve import/export of Verilog with disconnected pins and empty modules
    * Recognise WAIT and WAIT0 components as arbitration primitives on Verilog import
    * Wider default positioning for component pins
    * Access refinement model of Circuit component from JavaScript using this functions:
      * ''setCircuitComponentRefinement(circuitWork, componentRef, refinementPath)''
      * ''getCircuitComponentRefinement(circuitWork, componentRef)''

  * Signal Transition Graph plugin
    * Support verification of properties that require parallel composition of STGs with toggle event
    * Extended N-way conformation property with structural checks for missing phases of interface signals
    * Improved detection of mismatch initial state for interface signals before N-way conformation check
    * Prevent creating redundant level arcs on conversion of STG trace to DTD model
    * Improve handling of violation trace for output persistency check
    * Prevent signal name clashing with STG places that are converted into implicit places
    * Consistent automatic naming of newly created dummy transitions
    * Verification of refinement property for STGs with mutex places
    * Improvements for creation and validation of read arc from proxy places
    * Access STG refinement model from JavaScript using this functions:
      * ''setStgRefinement(stgWork, refinementPath)''
      * ''getStgRefinement(stgWork)''


=== Fixes and technical stuff ===

  * Update of the build system to Gradle v7.4, PMD v6.42, Checkstyle v9.3
  * Bundle statically linked Graphviz DOT Linux binaries with the distribution
  * Use ''windows-2019'' and ''macos-10.15'' instead of ''latest'' in GitHub Actions
  * Update Spot ltl2tgba backend to v2.10.2
  * Save Workcraft compatibility version in meta data to prevent multiple warnings when opening work files created by newer version of Workcraft
  * Fix tracking of internal-to-dummy renaming
  * Fix filtering of nodes with custom hit function