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