Configure plugins during every start, rather than store plugin metadata.
Improved usability of maximised dockable windows.
Consistent naming of new works that are produced by conversion and synthesis commands.
Model and tool plugins
Digital Circuit plugin
Automatic circuit layout is improved with orthogonal routing of connections, so the synthesis results look better and are easier to read even without user corrections. Some parameters of the circuit layout can be tweaked in Layout→Circuit section of global preferences. This layout command can be accessed under Tools→Graph layout menu as follows:
Circuit placement and routing – re-position circuit components and re-route connections.
Circuit placement only – re-position circuit components and keep the connection unrouted (straight lines).
Circuit routing only – preserve the position of circuit components and re-route connections.
Strict implementation property is for complex gate and standard C-element synthesis styles.
Automatic insertion of mutex into synthesised circuit.
Circuit verification is modified to take mutexes into account.
Signal Transition Graph plugin
Mutex places to specify of non-persistent behaviour that can be implemented with a mutex.
Verification property for mutex place implementability (Verification→Mutex place implementability [MPSat] menu).
STG verification for output persistency is modified to prevent false-positives.
Commands for expanding compressed STG handshakes.
Deadlock verification property that filters out deadlocks with terminal dummies (Verification→Custom property [MPSat]… dialog).
Importer and exporter for LPN file format with ATACS-specific syntax.
Fixes and technical stuff
Plugin for Plato backend to translate Concepts into STG and FST models.
Updated Petrify backend to better support mutex insertion.
Updated MPSat backend to better support mutex insertion.
Improved parser of .sg files with clearer diagnostics in case of syntax error.