changelog:v3.3.2
Workcraft v3.3.2 (2020-11-25)
Usability improvements
Reuse Workcraft instance when opening .work files from file browser (for this a command line parameter -port:<PORT>
should be set to define the socket port for interprocess communication)
Prevent creating nodes on top of other nodes, including groups, pages and connections
Persistent window size for file dialogs
Distinguish MPSat output for empty-trace solution and no-trace solution in the property violation report: [empty trace]
and [no trace]
grey text is used, respectively.
User-defined color for PNG export via Edit→Preferences…→Editor→Background color for PNG export (transparent by default)
Restructured Editor and Visual sections of global preferences
Fixes and technical stuff
Update of the build system to Gradle v6.7.1, PMD v6.29, Checkstyle v8.37
Create distribution JARs
API-compatible with Java 8
Thread-safe use of JTextArea.append for displaying log and error messages
Update of Petrify backend to fix a problem with capacity declaration for implicit places
Allow Petrify net synthesis for specifications with deadlock by passing -dead
option
Update Spot ltl2tgba backend to v2.9.5
Copyright © 2014-2021 workcraft.org