Workcraft v3.5.5 (2026-06-26)

Usability improvements

• Add tool name to the title of Tool controls panel
• Enable box selection of children nodes, such as control points of connection and pins of circuit component
• Apply saving decision to all modified works in a single dialog
• Improve logging performance of Output panel
• Indicate change of Output, Problems and Tasks panels if they are updated while inactive

Model and tool plugins

• Digital Circuit plugin
  • Allow different file names for imported hierarchical and non-hierarchical Verilog modules
  • Invert sequential gates by swapping their set and reset functions
  • Add several predefined choice options for common cell libraries
  • Enable use of environment variables in cell library path
  • Set initial state to 1 for instantiated TIE1 cells
  • Add tooltips to instantiation panel showing cell area
  • Extend workcraft.lib with MAJ3/MAJI3, AOA212/AOAI212, OAO212/OAOI212 and add several positive gates (e.g. AO222 and OA222) for existing negative counterparts
  • New transformation command for auto-connecting hanging pins of circuit instances to ports with the same names
  • Move path-breaker and force-init tags to detached output inverter
  • Optimise scan and reset insertion with gate remapping
  • Update gate initial state on its inversion toggle
  • Move initial state and path-breaker tags of contracted gate to its driver
  • Skip buffering high fanout driven by a constant

• Signal Transition Graph plugin
  • New transformation command to increment last numeral in selected STG transitions
  • Save the initial state of circuit STG signals when exporting .g files
  • Silently ignore .mode and .initial state on import of .g files
  • Check validity of user defined exceptions in case participating signals are renamed or removed

Technical stuff

• Update build system to Gradle v9.6.0, CheckStyle v13.6.0, PMD v7.25.0, CPD v4.0.20, JaCoCo v0.8.15
• Predictable order of plugins initialisation to support cross-plugin global preferences
• Major code refactoring of Control Flow Logic Translator plugin