===== Workcraft v3.3.9 (2022-12-20) =====

=== Usability improvements ===

  * Check if a file is writable before overwriting an existing file


=== Model and tool plugins ===

  * Digital Circuit plugin
    * Highlight circuit components in the //Property editor// based on their refinement type (<wrap box>none</wrap>, <color /#E0FFE0>STG</color>, <color /#FFF5CC>circuit</color>, <color /#FFE0FF>error</color>)
    * Improve random layout of Circuit model
    * Enable repacking circuit components to accommodate their pin names
    * Command to update component (name, input/output pins) from its refinement model
    * Make unconnected component pins more visible
    * Check initial state compatibility for driver signals before assigning refinement model to a circuit component
    * Significantly improve import of Circuits models from Verilog netlist
      * Enable selection of work file name for top module
      * Apply natural sort to imported Verilog modules
      * JavaScript interface to select save directory for instantiated Verilog modules via ''setImportContextDirectory(path)'' that only spans for one import call
      * JavaScript interface to define the name of top module for import
      * Configurable pattern for work file names to save hierarchical Verilog modules (''$.circuit.work'' by default, where ''$'' is replaced by module name)
      * Handle import of mutex with missing pins
      * Support bus connection syntax on Verilog import: explicitly enumerated nets of a bus ''.port({bus[2], bus[1], bus[0]})'', range of nets from a bus ''.port(bus[3:0])'', whole bus to a matching port ''.port(bus)'', mixture of net ranges and individual bits ''.port({bus[2:1], bus[0]})''

  * Process Flows plugin
    * Release of a language to specify processes as [[:help:control_flow_expressions:start|Control Flow Expressions]]
    * Translation from Control Flow Expressions into Petri nets and Signal Transition Graphs


=== Fixes and technical stuff ===

  * Update of the build system to Gradle v7.6, PMD v6.52, Apache Batik v1.16
  * New property type for color-coded legend
  * Support for printing Boolean expression in C style
  * Prevent clashing of flat names derived from Circuit hierarchical references
  * Simplify file writer operations without the use of dedicated exporter
  * Refactor API for importer and exporter plugins
  * Speed up extraction of model type from work file
  * Clear JavaScript tab after script submission