===== Workcraft v3.5.0 (2024-06-29) =====

=== Usability improvements ===

  * Revise //Property editor// with consistent order of properties
  * Improve popup menus for node transformation commands
  * Prevent model modification when nodes are selected from //Property editor//

=== Model and tool plugins ===

  * Digital Circuit plugin
    * Support for proxy contacts
    * Show the number of driven contacts next to the driver contact
    * Revise handling of mutex early/late protocols
    * Preserve zero-delay attribute on inversion toggling
    * Update pin range filter on gate library reload
    * Convert exporter of mapped circuit as Verilog assign statements into System Verilog
    * Improve Verilog import with split declaration of ports
    * Add initial support for pre-designed components
    * Support stdC synthesis with input inverters
    * Fix parsing of reset sub-function for gC assign statement

  * Signal Transition Graph plugin
    * Improve STG layout after transition contraction
    * Revise relocation of transition using Ctrl-drag
    * Move capacity declaration in exported .g files before marking

=== Fixes and technical stuff ===

  * Switched to Java 17 LTS as the minimum requirement
  * Fix alignment for label with left positioning
  * Replace Log4j that has reached end of life by Reload4j
  * Add missing -l command line option for MPSat when building unfilding prefix and remove redundant -l option for prebuilt unfolding
  * Fix JavaScript ''closeWork(work)'' wrapper to close the work editor