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
- Support for properties with editable predefined values (behaves as a ComboBox that also allows user-defined values)
Model and tool plugins
- 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
- Signal Transition Graph plugin
- Automatic CSC conflict resolution during MPSat synthesis
- Improved consistency violation report that distinguish among three possible reasons for inconsistency (as reported by Punf backend)
- Improved detection of mutex signals
- Prevent entering hierarchical reference as STG signal name in the Property editor
- Bugfix to enable import of empty .g files
- FSM and FST plugins
- Improved merging of FSM/FST states
- Allow the use of empty symbol as epsilon
- Bugfix for accepting incorrect names as FST signals and dummies
- Fix detection of self-loop connections
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-2024 workcraft.org