===== Workcraft v3.3.7 (2022-03-25) =====
=== Usability improvements ===
* Add possibility to pan editor view in full viewport steps via Ctrl-Shift-Left, Up, Right, Down
* Prevent drag-and-drop of graph elements while selecting with Ctrl/Shift
=== 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