===== 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