Workcraft v3.5.1 (2024-09-02)

Usability improvements

• Speedup of adding multiple work files to Workspace pane
• Improve readability of Boolean expressions for AND operator

Model and tool plugins

• Digital Circuit plugin
  • Transformation commands for switching MUTEX cell between early and late protocol
  • Improve support for proxy contacts when squashing components and splitting multi-level complex gates
  • Enable the user to prevent initialisation of certain circuit gates using Avoid init property
  • Improve reset insertion using gate complexity heuristics

Fixes and technical stuff

• Update build system to Gradle v8.10, CheckStyle v10.18.1, JUnit v5.11.0
• Add JavaScript wrapper for node selection
• Fix bounding box calculation for pages with empty label