===== Workcraft v3.1.8 (2018-01-01) =====

=== Usability improvements ===

  * If the user holds <key>Alt</key> (or <key>AltGr</key>) 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.
  * Updated Plato backend.