changelog:start
Changelog
Workcraft v3.4.1 (2023-08-24)
Usability improvements
Enable user-defined flat name separator for page references; the default is _
which is configurable via Editor→Separator for converting page references into flat name of global preferences
Improve option dialog with mnemonics and shortcuts for Yes/No/Cancel buttons
Calculate model bounding box before exporting its visual layer into a graphics file, such as PNG and SVG
Move Comment settings into a subsection of Visual settings of global preferences
Add settings for MPSat custom cost functions in verification and synthesis modes
Detailed header mode for file export to include timestamp of file creation, operating system info and JavaScript command used
Extend support for Bison syntax check to highlight warnings in custom properties
Remove support email from Help menu in favour of GitHub issues
Digital Circuit plugin
Add regex for user-defined auxiliary ports that should be excluded from output persistency check; the default is empty, and is configurable via Digital Circuit→Auxiliary ports regex to exclude from verification, e.g. sig|req[0-9]*|bus__\d+ of global preferences
Exclude scanout ports from output persistency check
Improve Output persistency property to accept exception pairs of signals for WAIT elements
Improve reporting of structural issues on Verilog import, e.g. for inconsistently connected nets and multiple top level modules
Extend substitution rules to enable user-defined extra gate pins, e.g. for scan
Add info on invalid files into refinement statistics that is accessible via Tools→Statistics→Refinement analysis
Use colors defined in Signals settings of global preferences when rendering contact names
Improve snapping to grid when creating nets with Connect tool
Fixes and technical stuff
Update toolchain to Gradle v8.3, CheckStyle v10.12.2, Jacoco v0.8.10, JavaCC plugin v3.0.0, Batik v1.17
Update UnfoldingTools backend with several bugfixes, revised Reach syntax and binaries rebuilt using GCC 13 and GLIBC v2.37
Recognise development mode of running from source
Drop dependency on Kotlin as not used much by plugins
Improve GitHub actions with recent MacOS and Windows runners, and Jacoco/Coveralls task for coverage report
Fix PowerShell starter script for use of local JRE
Previous versions
Copyright © 2014-2021 workcraft.org