changelog:v3.3.3
Workcraft v3.3.3 (2021-04-19)
Usability improvements
Model editor
Support for additional details in the tab header (can be used for showing enabled events in multi-tab simulation)
Allow user-defined preference for screen pixel density via Edit→Preferences…→Editor→Screen pixel density (DPI) - requires restart (system DPI is inaccurate, especially when running Workcraft remotely)
Prevent zoom level and grid scaling from changing when the window is resized
Limit grid density to prevent excessive number of grid lines
Simulation tools
Put the text of table cell/header into tooltip if it is too long to fit the column width
Use underlying model and decorations, so the simulated model does not change (no asterisk in the editor header)
Prevent model change when simulating expanded groups and pages (opening collapsed ones still change the model)
Property editor
Digital Circuit plugin
Only use complex gates and 2-input symmetric C-element in Standard C-element synthesis mode
Enable scan insertion in two modes: with stitching and without stitching; this is configurable via Edit→Preferences…→Digital Circuit→Stitch scan into chain (on by default)
Support for splitting multi-level gates with reused literals and disconnected pins
Snap position of inserted joint node to the grid at its current zoom level and to the position of adjacent node
Popup menu for a component to remove all its pins
Fixes and technical stuff
Migration from Travis CI to Github Action for testing
Modify unit tests and integration tests for compatibility with Windows
Update toolchain to Gradle v7.0, PMD v6.33, Checkstyle v8.41
Update Apache Batik to v1.14
Support for building flavoured distributions of Workcraft with additional plugins and backend tools
Update of UnfoldingTools backend (automatic CSC conflict resolution in MPSat, improve consistency violation report in Punf)
Copyright © 2014-2021 workcraft.org