Workcraft v3.5.2 (2025-01-09)

Usability improvements

• Improve save and load of global preferences with sorting the settings and warnings on unrecognised groups and keys
• Support for multiple additional config with several -config-add: command line options
• Automatically create missing directories when saving .work files with a path
• Revise the use of fonts: Plain Sans Serif for node Names (similar to IDs) and Italic Sans Serif for Labels (similar to comments)
• Add help page to explain Early and Late Mutex protocols

Model and tool plugins

• Digital Circuit plugin
  • Optimise reset insertion for mapped gates trying to replace the gate with a larger one that accommodates reset function
  • Reduce clutter for inserted reset and scan networks by making use of proxy contacts
  • Hide fanout count for library gates in Tool controls of Function Component tool
  • Hide irrelevant properties Avoid init, Render type, and Treat as environment for zero delay components
  • Add structural checks for new connection with zero delay buffers and inverters
  • Improve rendering of Boolean formula by compressing glyphs for operators and using the same font as for contact names

• Signal Transition Graph plugin
  • Clean up Transformation menu by removing transition insertion and contraction commands (these are still available in contextual popup menu)
  • Add command for transition splitting via contextual popup menu
  • Add initial state check to the verification of mutex place implementability

Fixes and technical stuff

• Sanity check for command line options
• Update build system to Gradle v8.10.2, CheckStyle v10.18.2, JUnit v5.11.3
• Update minimalistic build of Apache Batik to v1.18
• Fix Null-pointer exception when generating Circuit-STG for undriven zero-delay components