changelog:v3.5.0
Workcraft v3.5.0 (2024-06-29)
Usability improvements
- Revise Property editor with consistent order of properties
- Improve popup menus for node transformation commands
- Prevent model modification when nodes are selected from Property editor
Model and tool plugins
- Digital Circuit plugin
- Support for proxy contacts
- Show the number of driven contacts next to the driver contact
- Revise handling of mutex early/late protocols
- Preserve zero-delay attribute on inversion toggling
- Update pin range filter on gate library reload
- Convert exporter of mapped circuit as Verilog assign statements into System Verilog
- Improve Verilog import with split declaration of ports
- Add initial support for pre-designed components
- Support stdC synthesis with input inverters
- Fix parsing of reset sub-function for gC assign statement
- Signal Transition Graph plugin
- Improve STG layout after transition contraction
- Revise relocation of transition using Ctrl-drag
- Move capacity declaration in exported .g files before marking
Fixes and technical stuff
- Switched to Java 17 LTS as the minimum requirement
- Fix alignment for label with left positioning
- Replace Log4j that has reached end of life by Reload4j
- Add missing -l command line option for MPSat when building unfilding prefix and remove redundant -l option for prebuilt unfolding
- Fix JavaScript
closeWork(work)wrapper to close the work editor
Copyright © 2014-2024 workcraft.org