If the user holds Alt (or AltGr) then the highlighting/selection is applied to the node under mouse cursor and also to its adjacent connections. For example, if a Petri net transition is Alt-selected then its incoming and outgoing arcs are also added to the selection.
A new way to select colours in the Property editor:
Several main colours are added to the quick-access combo-box (click the button with the arrow-down icon to see them).
A custom color can still be selected by clicking on the coloured area of the combo-box – this opens a Colour Chooser dialog which is improved for high-definition displays.
Model and tool plugins
Digital Circuit plugin
Check availability of the environment file before proceeding with verification.
Alt-highlighting/selection of a wire is extended to the whole network.
Alt-highlighting/selection of a gate is extended to all its incoming and outgoing networks.
Signal Transition Graph plugin
Handle error messages reported by Punf while building unfolding prefix for inconsistent STGs, unsafe nets and malformed nets. In case of inconsistent STGs a trace leading to the problematic state is extracted for simulation.
JavaScript interface
Provide a JavaScript list or iterator for currently loaded work object and setters/getters for some of its properties, e.g. for each (work in getWorks()) {…}, getModelDescriptor(work), getWorkFile(work), setModelTitle(work, title), etc.
All unprocessed command line parameters are passed to JavaScript interpreter as args variable and can be iterated as follows: for each (arg in args) {…}.
Fix for verification scriptable commands to work in GUI mode.
Integration tests for accessing MPSat functionality form scripts.
Fixed detection of absolute path in Windows.
Fixes and technical stuff
Check MPSat stdout to confirm its successful completion of the synthesis and verification operations.
Add an option to the STG Parallel Composition window to save the lists of places.
Open popup menus on right mouse button press (rather than click).
Remove deprecated code for external state graph visualisation.
Updated UnfoldingTools backend. If includes several MPSat bugfixes, e.g. for technology mapping of constants.