Utility menu is removed and its items are moved to File (Reconfigure plugins) and View (Reset UI layout).
Items of Tool→Verification menu are shortened by removing “Check for” prefix.
The items of Tools→Synthesis menu are shortened by removing “synthesis” suffix.
Offline help and tutorial files are updated. Workcraft overview files are also included.
Possibility to undo the action of layout tools.
The shape of a connection is preserved on relocation of its adjacent nodes.
Rearrangement of back-end tools in their own sub-directories.
Flipping and rotation of labels and names of the components.
Model and tool plugins
Finite State Machine plugin (new)
Built-in verification tools for
Determinism.
Deadlock-freedom.
Unreachable states.
Reversibility.
Tool for building a state graph of a Petri Net (using Petrify).
Tool for synthesis of Petri Net (using Petrify).
Tool for converting into Petri Net.
Finite State Transducer plugin (new)
Import and export of State Graph .sg files.
Tool for building a state graph of a Signal Transition Graph (using Petrify).
Tool for synthesis of Signal Transition Graph (using Petrify).
Tool for converting into Signal Transition Graph.
Signal Transition Graph plugin
Generalisation of a Reach expression for conformation check.
Tool for STG re-synthesis.
Tool for conversion between STG and Petri net models.
Fix for STG signal renaming in the property editor.
Reduced number of Mpsat modes in custom property window.
Digital Circuit plugin
When a circuit is converted to STG its gates that drive the primary outputs get signal names from the output ports. No new signals are created for the ports themselves.
Environment URI is made relative to location of the circuit work file.
Forbid input pins of the circuit components to be drivers.
Structured Occurrence Net plugin
BSON and CSON reachability check.
Replace cycle detection algorithm by Tarjan algorithm.
Behavioural condition is marked if every its corresponding abstract-initial-condition is marked.
Add synchronous communication checking for abstract events.
Update the enabled event color in reverse simulation.
Reset reverse simulation state when tool is activated or deactivated.
Conditional Partial Order Graph plugin
Support for Windows version of programmer backend tool.
Encoding results now saved into a temporary folder.
Renaming of Programmer tool into Scenco.
Fixes and technical stuff
Correction of .g parsers for recognition of comments.
Generalised model converter tool for translation between similar models.
Refactoring of visual connection type.
Refactoring the usage of Framework as a singleton class.
Reference counting in DefaultMathNodeRemover is replaced with tracking the set of dependent nodes.
Unit tests are updated.
PetrifyUtilitySettings class is moved from the core to petrify plugin.
Bounding box of the current level is calculated in root space for level-up at double click.
Move nodes and control points at reparenting.
Generalised handling of property based on enum type with predefined values.
The deprecated classes for DualModelDeserialisation are removed.