Show shortcuts in Create work dialog for quickly creating new models
Configurable font size via global preferences (Edit→Preferences…):
In Common→Visual the properties Label font size (cm) and Name font size (cm).
In Models→Digital Circuit the properties Contact font size (cm) and Function font size (cm)
In Models→Signal Transition Graph the property Transition font size (cm)
Auto-save of last edited Custom properties and Custom assertions
Menu item for combined verification of all basic properties (in Digital Circuit, Signal Transition Graph, and Dataflow Structures) is renamed to All of the above (reuse unfolding) [MPSat]
Model and tool plugins
Digital Circuit plugin
Tool for reducing the number of zero delay inverters (available via Transformation→Optimise zero delay of buffers and inverters (selected or all)).
Verification of circuit implementation for binate functions (via Verification→Binate consensus [MPSat]).
Names and pins of gates for synthesis of reset logic (BUF, AND2, OR2, NAND2B, NOR2B) are now automatically extracted from Genlib gate library.
In global preferences use of separators to create subsections for import/export, reset, and testing.
Undo/redo functionality in Initialisation analyser and Cycle analyser tools
Search of signal events by the signal name directly from the Property editor of the model
eXtended Burst Mode plugin
Model capturing functionality
Auto-calculation of signal changes in input and output bursts
Verification for unique state encoding and inclusion of conditionals
Conversion into STGs and Petri nets
Export into Minimalist burst mode file format
Simulation tool
Fixes and technical stuff
Integration of BDD library (https://bitbucket.org/vahidi/jdd) for complex operations on Boolean functions (e.g. checks for functions isomorphism, implication, binatness).
Update of UnfoldingTools
Bugfix for threshold operator (not used in built-in verification properties, but could affect custom Reach properties using this operator)
Syntax sugar to refer to transition or signal enabledness in LTL-X verification in Punf
Refactoring of the properties API and improvements of Property editor
Action properties rendered as a buttons (can be an array of actions associated with one property).
Span properties that occupy both columns.
Separator to structure properties into subsections.
Textual properties with associated action (e.g. create or search for a node with the specified name)
Rework of the build system updating Gradle and its plugins
Refactoring of Boolean formula API
When reading .g files recognise split STG places with @NUMBER suffix. These can be produced in the intermediate .g files when calling Punf with -r option.