===== Workcraft v3.4.1 (2023-08-24) =====

=== Usability improvements ===

  * Enable user-defined flat name separator for page references; the default is ''_'' which is configurable via //Editor->Separator for converting page references into flat name// of global preferences
  * Improve option dialog with mnemonics and shortcuts for <key>Yes</key>/<key>No</key>/<key>Cancel</key> buttons
  * Calculate model bounding box before exporting its visual layer into a graphics file, such as PNG and SVG
  * Move //Comment// settings into a subsection of //Visual// settings of global preferences
  * Add settings for MPSat custom cost functions in verification and synthesis modes
  * Detailed header mode for file export to include timestamp of file creation, operating system info and JavaScript command used
  * Extend support for Bison syntax check to highlight warnings in custom properties
  * Remove support email from Help menu in favour of GitHub issues

=== Model and tool plugins ===

  * Digital Circuit plugin
    * Add regex for user-defined auxiliary ports that should be excluded from output persistency check; the default is empty, and is configurable via //Digital Circuit->Auxiliary ports regex to exclude from verification, e.g. sig|req[0-9]*|bus__\d+// of global preferences
    * Exclude scanout ports from output persistency check
    * Improve //Output persistency// property to accept exception pairs of signals for WAIT elements
    * Improve reporting of structural issues on Verilog import, e.g. for inconsistently connected nets and multiple top level modules
    * Extend substitution rules to enable user-defined extra gate pins, e.g. for scan
    * Add info on invalid files into refinement statistics that is accessible via //Tools->Statistics->Refinement analysis//
    * Use colors defined in //Signals// settings of global preferences when rendering contact names
    * Improve snapping to grid when creating nets with //Connect// tool

  * Signal Transition Graph plugin
    * Improve verification of delay insensitive interface with a possibility to define exceptions
    * Add verification property for the absence of self-triggering output and internal signals, with a possibility to define exceptions - it is accessible via //Verification->Absence of local self-triggering (without dummies) [MPSat]...//
    * Promote delay insensitive interface and absence of local self-triggering to //essential// properties


=== Fixes and technical stuff ===

  * Update toolchain to Gradle v8.3, CheckStyle v10.12.2, Jacoco v0.8.10, JavaCC plugin v3.0.0, Batik v1.17
  * Update UnfoldingTools backend with several bugfixes, revised Reach syntax and binaries rebuilt using GCC 13 and GLIBC v2.37
  * Recognise development mode of running from source
  * Drop dependency on Kotlin as not used much by plugins
  * Improve GitHub actions with recent MacOS and Windows runners, and Jacoco/Coveralls task for coverage report
  * Fix PowerShell starter script for use of local JRE