===== Workcraft v3.4.0 (2023-04-07) =====

=== Usability improvements ===

  * Update rendering of dialog buttons to fit their text at high DPI
  * Modify confirmation dialogs to log their message into //Output// tab
  * Improve user interface for multiple editor tabs
    * Configurable layout policy for editor tabs (scroll or wrap)
    * Adjusted dimensions of scroll buttons based on selected pixel density

=== Model and tool plugins ===

  * Digital Circuit plugin
    * Revise reset insertion procedure for excited gates
    * Conversion of circuits with constrained signals into STGs with disabled signal phases
    * Support for relative path in JavaScript setting of circuit environment models
    * Option to dissolve singleton bus on Verilog export
    * Option for //set_disable_timing// constraints in testable gates
    * Additional check on Verilog export that circuit components with the same label use the same refinement
    * JavaScript wrappers to access circuit contact methods
    * Global setting for visibility of set/reset functions on circuit contacts
    * Extend circuit statistics with the info on trivial gates (buf, inv, const)

  * Signal Transition Graph plugin
    * Enable //relocation// of transition into existing arc by starting to drag it and pressing <key>Ctrl</key>

  * Parity Game plugin
    * Implementation of a solver for [[https://en.wikipedia.org/wiki/Parity_game|parity game problem ]] by Pete Austin, University of Liverpool

=== Fixes and technical stuff ===
  * We have moved from outdated Java 8 to newer Java 11 as a minimal requirement
  * Configurable number of threads for MPSat synthesis and verification backends
  * Update natural sorting to handle strings with large numerical parts
  * Fix editor re-opening for already loaded models, whose editor window was closed
  * Fix for release of unused names of circuit components on their renaming
  * Fix for import of WAIT0 instances from Verilog netlist