When a node generator or connection tool is selected the Property editor display the template properties of the newly created nodes. These properties can be modified, so that all the subsequently created nodes inherent them.

Dialogue window for verification of custom properties is redesigned. A relation between the custom property (is violated/holds) and its Reach predicate (satisfiable/unsatisfiable) is explicitly configured.

Possibility to save the current simulation state as the initial state of the model (see a new button in simulation tool).

The change of connection shape is handled better when one of its adjacent nodes is moved. By default the Polyline control points are locked to their position while Bezier control points are binded to the adjacent nodes.

Offline help and tutorials files are updated. A new collection of tutorials is developed for on a subject of modelling causality and concurrency.

Flip and rotate operations are extended to work on groups, pages and circuit components.

Non-visual models imported .g files can be automatically opened and layout in the Editor (see Open non-visual models (imported or converted) under Common→Editor settings).

Default layout of the GUI is made proportional to the screen size.

Code for conversion of circuits into STGs is decoupled from both.

Overwriting the current work file with Save as command works as simple Save without removing the file.

Space(s) can be added to the tool display name to promote it in the tool menu.

Corrections for the unit tests.

Preserve node names inside pages on copy-paste.

Pivot point is moved with its group/page/component.

Regular expressions in Reach predicate are allowed.

Path to petrify.lib is taken into account only when petrify is called for technology mapping.

Correction for the initial state of FSM after conversion from PN.

Improved parsing of MPSat output for custom reachability checks.