===== Workcraft v3.4.2 (2024-01-26) =====

=== Usability improvements ===

  * Improve in-place editor to dynamically update its bounds on the text modification
  * Revise text rendering to improve relative positioning of labels

=== Model and tool plugins ===

  * Digital Circuit plugin
    * Add possibility to accept inout ports on Verilog import and filter out their connections (useful for ignoring ''VDD''/''GND'' inout ports)
    * Improve Verilog parser to handle complex delay expressions in assign statements 
    * Convert assignments with ''xor'' and ''equivalence'' operators into ''not''/''and''/''or'' basis on Verilog export (for consistency with parser for Verilog import)
    * Optimise away double negations in assign statements on Verilog export
    * Recognise C-elements with input bubbles when using standard C synthesis mode 
    * New exporter of mapped gates as Verilog assign statements
    * Uniform pin positioning for simple gates
    * Reload gate library if its GenLib file is modified
    * Fix colouring of signal events when simulating violation trace 

  * Signal Transition Graph plugin
    * Restrict the number of reported encoding conflicts for clarity and improve visualisation details when a single encoding conflict is selected 
    * Improved verification of input properness with user-defined exceptions
    * Extend verification of delay insensitive interface by forbidding pulses on input signals
    * Support read arcs in verification of delay insensitive interface
    * Improve local self-triggering check by reducing the number of potential exceptions in to syntactic self-triggers
    * Promote delay insensitive interface and absence of local self-triggering to essential verification properties
    * Improve reports for N-way conformation by taking into account those continuations of violation traces that lead to internal signals
    * While holding <key>Alt</key>/<key>AltGr</key>, highlight master place for selected proxy and all proxies for selected master place
    * Warn about large graph before layout of ProFlo generated STG
    * Bugfix for creating groups/pages with proxy places whose master places belong to different groups/pages 
    * Bugfix for import of .g file with place names clashing with internal connection names
    * Bugfix for long file path when Reach property with user-defined exception is encoded into the file name

=== Organisation of project and toolchain ===

  * Update build system to Gradle v8.5, PMD v6.55, CheckStyle v10.12.5
  * Update UnfoldingTools backend with alignment optimisation of data structures
  * Extract MPSat temporal features from MpsatVerification plugin into a separate MpsatTemporal plugin