Workcraft - changelog

start

Anonymous (anonymous@undisclosed.example.com) — 2025-12-01T12:36:20+00:00

Changelog Workcraft v3.5.4 (2025-12-01) Usability improvements * Improved error detection and reporting in Boolean expression parser * Refresh bounding boxes of all nodes when model editor is first created * Fix import of files whose name has trailing spaces

v3.0.0

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.0.0 (2014-10-01) Usability improvements * Hierarchical modelling with pages * Support for hierarchical graph models is the main change in this release of Workcraft. This is implemented by a concept of Pages. A page is similar to a group, but also provide a separate namespace for the graph nodes inside it. This will be further extended to enable co-simulation and co-verification of the models of different types.

v3.0.1

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.0.1 (2014-11-01) Usability improvements * Tutorials and About Workcraft items are added to the Help menu. * Visualise pivot point when a complex component is highlighted (group, page, circuit component). Model and tool plugins *

v3.0.2

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.0.2 (2014-11-15) Usability improvements * More options for zooming and panning the editor window * All zooming and panning commands are added to the View menu. * Zoom to the default scale without changing the viewport position (

v3.0.3

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.0.3 (2015-01-26) Usability improvements * Tools menu is made inactive in simulation mode. * The menu items are rearranged and simplified * Utility menu is removed and its items are moved to File (Reconfigure plugins) and View (Reset UI layout).

v3.0.4

Anonymous (anonymous@undisclosed.example.com) — 2018-08-30T20:42:00+00:00

Workcraft v3.0.4 (2015-05-27) Usability improvements * 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.

v3.0.5

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.0.5 (2015-08-03) Usability improvements * Updated Look and Feel with SilverOcean theme. Adjustment of the PropertyEditor and simulation tables to the new look and feel. Nested sub-menus aligned with other menu items. * Frequently used sub-menues of

v3.0.6

Anonymous (anonymous@undisclosed.example.com) — 2019-06-20T10:59:09+00:00

Workcraft v3.0.6 (2015-11-02) Usability improvements * Frequently used Tools->Conversion menu is promoted to the main menu bar. * Support for read-arcs in Petri net and STG plugins. Tools for conversion between read-arcs and pairs of producing/consuming arcs.

v3.0.7

Anonymous (anonymous@undisclosed.example.com) — 2019-06-20T11:00:19+00:00

Workcraft v3.0.7 (2016-01-04) Usability improvements * The results of net synthesis for Petri Net and FSM model are interpreted as Petri nets (implicitly converted from STGs). * Support for scalable SVGs is added to user documentation and tutorials (dimensions can be specified in % of the original size, similar to LaTeX).

v3.0.8

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.0.8 (2016-01-30) Usability improvements * Export of visual model into PDF, PS and PNG formats. * Config files are now saved in .workcraft directory of the user home thus making configuration user-specific. * Configurable alignment of the text in a comment box (left centre or right).

v3.0.9

Anonymous (anonymous@undisclosed.example.com) — 2019-06-20T11:00:47+00:00

Workcraft v3.0.9 (2016-04-10) Usability improvements * The transformation tools that are specific to a particular type of node are accessible by a right-click in its popup menu. * Less intrusive light grid is used by default. The old-style grid can be restored in global settings (

v3.1.0

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.1.0 (2016-05-29) Usability improvements * First release with OS X support! * Better support for high DPI displays. A configurable Visual->Base font size (points) value is used to scale the GUI elements. * Signal related settings (shared among

v3.1.1

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.1.1 (2016-06-30) Usability improvements * Tool-specific mouse cursors are used to emphasise the currently active tool. * Conversion of work files to supported export formats from command line. * Correctly enable/disable menus on switching between works.

v3.1.2

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.1.2 (2016-09-21) Usability improvements * Improved report and extended violation traces for output persistency and conformation (both for circuits and STGs). * For output persistency a transition that disables a non-persistent signal is appended to the solution trace.

v3.1.3

Anonymous (anonymous@undisclosed.example.com) — 2017-03-06T14:54:40+00:00

Workcraft v3.1.3 (2017-02-02) Usability improvements * First release under permissive MIT license. * For better support of scripting the Tool plugins are partitioned into: * Editors (Selection, Connection, Node generation, etc.) * Commands (Transformation, Layout, Conversion, Synthesis, Verification). Currently all except the

v3.1.4

Anonymous (anonymous@undisclosed.example.com) — 2017-06-01T17:07:06+00:00

Workcraft v3.1.4 (2017-05-10) Usability improvements * 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.

v3.1.5

Anonymous (anonymous@undisclosed.example.com) — 2017-07-01T22:22:44+00:00

Workcraft v3.1.5 (2017-07-01) Usability improvements * Toolbars are finally added to Workcraft: * Common operations for open/save files, undo-redo, copy-paste, zoom and visibility of rulers/grid/names/labels are combined in a Global toolbar. *

v3.1.6

Anonymous (anonymous@undisclosed.example.com) — 2017-09-21T09:06:11+00:00

Workcraft v3.1.6 (2017-09-21) Usability improvements * New class of commands to report model complexity: generic statistics for all models and advanced complexity estimates for Petri net, STG and Circuit models. These commands are available under

v3.1.7

Anonymous (anonymous@undisclosed.example.com) — 2017-11-01T12:51:41+00:00

Workcraft v3.1.7 (2017-11-01) Usability improvements * Scripting is significantly improved, see Scripting interface documentation for details. * Sriptable verification commands. * Automatic generation of wrapper JavaScript functions for scriptable Workcraft commands.

v3.1.8

Anonymous (anonymous@undisclosed.example.com) — 2018-01-01T23:03:43+00:00

Workcraft v3.1.8 (2018-01-01) Usability improvements * If the user holds (or ) 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.

v3.1.9

Anonymous (anonymous@undisclosed.example.com) — 2018-02-28T22:05:23+00:00

Workcraft v3.1.9 (2018-02-28) Usability improvements * N-way conformation for several STGs -- check that each STG is conformant to a composition of the others. This can be verified via Verification -> N-way conformation (without dummies) [MPSat].

v3.2.0

Anonymous (anonymous@undisclosed.example.com) — 2018-06-27T15:22:45+00:00

Workcraft v3.2.0 (2018-06-30) Usability improvements * New tutorial on logic decomposition and technology mapping. * New tutorial on verification and synthesis of hierarchical designs, including N-way conformation. * Dot layout can be configured left-to-right, top-to-bottom, right-to-left, or bottom-to-top. It is left-to-right by default. This can be changed in

v3.2.1

Anonymous (anonymous@undisclosed.example.com) — 2018-11-01T13:52:33+00:00

Workcraft v3.2.1 (2018-11-01) Usability improvements * Filter for favorite model types in New work dialog. Models can be defined as favourite in Common->New work favorites section of global preferences. * Warning when loading work files created by newer versions of Workcraft.

v3.2.2

Anonymous (anonymous@undisclosed.example.com) — 2019-02-01T11:53:15+00:00

Workcraft v3.2.2 (2019-02-01) Usability improvements * Keyboard navigation (arrows), action (Enter), cancellation (Esc) for popup menus. * Dot layout for hierarchical graphs -- pages and groups are treated as Dot clusters. * Put long property names in a tooltip

v3.2.3

Anonymous (anonymous@undisclosed.example.com) — 2019-06-01T13:14:13+00:00

Workcraft v3.2.3 (2019-06-01) Usability improvements * Access to main menu via Alt+key shortcut * Show the title of a currently selected section in global preferences * Enable to inline JavaScript directly in the command line with -exec: parameter

v3.2.4

Anonymous (anonymous@undisclosed.example.com) — 2019-07-31T21:04:48+00:00

Workcraft v3.2.4 (2019-07-31) Usability improvements * Support for basic operations with hierarchical design using Circuit and STG models: * Refinement models as a property of circuit components and STGs * Navigation through refinement models via popup menu or double-clicking

v3.2.5

Anonymous (anonymous@undisclosed.example.com) — 2019-11-21T16:44:59+00:00

Workcraft v3.2.5 (2019-11-21) Usability improvements * Show shortcuts in Create work dialog for quickly creating new models * Configurable font size via global preferences (Edit->Preferences...): * In Common->Visual the properties Label font size (cm)

v3.2.6

Anonymous (anonymous@undisclosed.example.com) — 2020-02-29T21:06:42+00:00

Workcraft v3.2.6 (2020-02-29) Usability improvements * Property editor tooltips for Action properties. * De-clutter model-level property editor for signals (this affects FST, STG, WTG, XBM plugins): * Signal name and type are merged into a single property that is span property over two columns.

v3.3.0

Anonymous (anonymous@undisclosed.example.com) — 2020-06-26T10:06:14+00:00

Workcraft v3.3.0 (2020-06-26) Usability improvements * Scripting interface to the commands with additional user-defined parameters, e.g.: * verification of custom properties; * 1-way and N-way conformation; * parallel composition. * Syntax check for custom assertions (e.g. REACH) before running expensive verification

v3.3.1

Anonymous (anonymous@undisclosed.example.com) — 2020-09-28T16:39:30+00:00

Workcraft v3.3.1 (2020-09-28) Usability improvements * Possibility to skip layout of large models, so they can be exported without opening in editor (via popup menu in the Workspace area). The threshold size for large model is defined via Model size for layout warning (0-9999)

v3.3.2

Anonymous (anonymous@undisclosed.example.com) — 2020-11-24T18:46:59+00:00

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: should be set to define the socket port for interprocess communication) *

v3.3.3

Anonymous (anonymous@undisclosed.example.com) — 2021-04-19T07:34:35+00:00

Workcraft v3.3.3 (2021-04-19) Usability improvements * Model editor * Support for additional details in the tab header (can be used for showing enabled events in multi-tab simulation) * Allow user-defined preference for screen pixel density via

v3.3.4

Anonymous (anonymous@undisclosed.example.com) — 2021-05-21T13:43:44+00:00

Workcraft v3.3.4 (2021-05-21) Usability improvements * Reuse of open workspace entries when loading models -- this makes unsaved changes in environment/refinement models visible to verification commands * Restore highlights in Output tab after applying global preferences

v3.3.5

Anonymous (anonymous@undisclosed.example.com) — 2021-08-11T11:29:26+00:00

Workcraft v3.3.5 (2021-08-11) Usability improvements * Focus existing model editor if work file is already open * Disable command in popup menu if not applicable Model and tool plugins * Digital Circuit plugin * Handle failure of CSC conflict resolution during logic synthesis

v3.3.6

Anonymous (anonymous@undisclosed.example.com) — 2021-11-19T12:19:22+00:00

Workcraft v3.3.6 (2021-11-19) Usability improvements * Improve in-place editors (activated by double-click on comments, ports, signals, etc) to prevent font rendering artefacts * Improve calculation of relative path for reference file (e.g. circuit environment, component refinement model)

v3.3.7

Anonymous (anonymous@undisclosed.example.com) — 2022-03-25T13:58:40+00:00

Workcraft v3.3.7 (2022-03-25) Usability improvements * Add possibility to pan editor view in full viewport steps via , , , * Prevent drag-and-drop of graph elements while selecting with / Model and tool plugins * Digital Circuit plugin *

v3.3.8

Anonymous (anonymous@undisclosed.example.com) — 2023-05-17T08:10:05+00:00

Workcraft v3.3.8 (2022-07-21) Usability improvements * Allow access to model generator commands even if no files are open * Improve user-defined config functionality by the following command-line options: * -noconfig -- do not read global config file and do not overwrite it on Workcraft exit

v3.3.9

Anonymous (anonymous@undisclosed.example.com) — 2023-05-11T14:15:14+00:00

Workcraft v3.3.9 (2022-12-20) Usability improvements * Check if a file is writable before overwriting an existing file Model and tool plugins * Digital Circuit plugin * Highlight circuit components in the Property editor based on their refinement type (

v3.4.0

Anonymous (anonymous@undisclosed.example.com) — 2024-01-25T15:09:47+00:00

Workcraft v3.4.0 (2023-04-07) Usability improvements * Update rendering of dialog buttons to fit their text at high DPI * Modify confirmation dialogs to log their message into Output tab * Improve user interface for multiple editor tabs * Configurable layout policy for editor tabs (scroll or wrap)

v3.4.1

Anonymous (anonymous@undisclosed.example.com) — 2023-08-24T12:48:03+00:00

Workcraft v3.4.1 (2023-08-24) Usability improvements * Enable user-defined flat name separator for page references; the default is _ which is configurable via Editor->Separator for converting page references into flat name of global preferences *

v3.4.2

Anonymous (anonymous@undisclosed.example.com) — 2024-01-25T15:11:13+00:00

Workcraft v3.4.2 (2024-01-26) Usability improvements * Improve in-place editor to dynamically update its bounds on the text modification * Revise text rendering to improve relative positioning of labels Model and tool plugins * Digital Circuit plugin

v3.5.0

Anonymous (anonymous@undisclosed.example.com) — 2024-07-01T11:43:18+00:00

Workcraft v3.5.0 (2024-06-29) Usability improvements * Revise Property editor with consistent order of properties * Improve popup menus for node transformation commands * Prevent model modification when nodes are selected from Property editor

v3.5.1

Anonymous (anonymous@undisclosed.example.com) — 2024-09-02T15:56:41+00:00

Workcraft v3.5.1 (2024-09-02) Usability improvements * Speedup of adding multiple work files to Workspace pane * Improve readability of Boolean expressions for AND operator Model and tool plugins * Digital Circuit plugin * Transformation commands for switching MUTEX cell between early and late protocol

v3.5.2

Anonymous (anonymous@undisclosed.example.com) — 2025-01-06T14:24:16+00:00

Workcraft v3.5.2 (2025-01-09) Usability improvements * Improve save and load of global preferences with sorting the settings and warnings on unrecognised groups and keys * Support for multiple additional config with several -config-add: command line options

v3.5.3

Anonymous (anonymous@undisclosed.example.com) — 2025-06-30T14:59:34+00:00

Workcraft v3.5.3 (2025-07-01) Usability improvements * Use key for creating proxies and for extending selection (instead of which is often reserved by Linux window manager) * Enable selection for connections with zero length * For connection to/from proxy inherit its style from original connection

v3.5.4

Anonymous (anonymous@undisclosed.example.com) — 2025-12-01T12:37:24+00:00

Workcraft v3.5.4 (2025-12-01) Usability improvements * Improved error detection and reporting in Boolean expression parser * Refresh bounding boxes of all nodes when model editor is first created * Fix import of files whose name has trailing spaces

workcraft_2_series

Anonymous (anonymous@undisclosed.example.com) — 2018-06-16T09:51:50+00:00

Changelog for Workcraft 2 Series 20 June 2014 Usability improvements * Additional checks of file existence and readability before attempting to open or import it. If a file cannot be open an error message explains the reason for this. * Selected portion of a model can be copied as XML to system-wide clipboard for debug purposes. This feature can be switched on/off in Edit