===== Workcraft v3.2.6 (2020-02-29) =====
=== Usability improvements ===
* Property editor tooltips for Action properties.
* De-clutter model-level property editor for signals (this affects FST, STG, WTG, XBM plugins):
* Signal name and type are merged into a single property that is span property over two columns.
* A button with bullet-point symbol on the left of the signal name changes the signal type, ''input'' -> ''output'' -> ''internal'' in a cycle.
* User can sort signals alphabetically or group them by type via //Sort alphabetically// / //Group by type// button; colour is used to visualise signal type in both grouped and sorted cases.
* Support for loops in the trace simulation tool.
* Improved editors for custom verification properties (e.g. //REACH assertion//, //Signal assertion//)
* Support for model-specific assertions that are stored in the model .work file.
* Examples of assertions in the property presets.
* Undo/redo functionality for the editor of custom assertions.
=== Model and tool plugins ===
* Digital Circuit plugin
* Separate port names for active-low and active-high reset.
* Renaming of zero delay inverters whose zero delay flag has been optimised away to a default value (''g'' followed by a number).
* Delay for assign statements in Verilog export can be specified as an integer value via //Edit->Preferences->Digital Circuit->Delay for assign statements in Verilog export (0 to suppress)//.
* Improved identification of set and reset functions when importing generalised C-element synthesis results from a Verilog file.
* Signal Transition Graph plugin
* Persistent model title on model conversion/transformation.
* Explicit warning if dead signals are found during conformation check.
* Waveform Transition Graph plugin
* Changeable waveform color.
=== Fixes and technical stuff ===
* Support for storage of user-defined resources in .work file.
* Fix memory leak in the Property editor.
* Update of the build system and its plugins (Gradle v6.2, PMD v6.21).