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

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)

Support for properties with editable predefined values (behaves as a ComboBox that also allows user-defined values)

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

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

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