changelog:v3.0.5

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 Tools menu, such as Transformations, Verification, Synthesis and Encoding are promoted to the main menu bar.
Property editor is made invisible in simulation mode.

Model and tool plugins

Digital Circuit plugin
- Import of gate libraries from GenLib file (petrify.lib).
- Import from Verilog netlists and its mapping into the gates of GenLib library.
- Export to Verilog netlist.
- Joint generator is removed from Digital Circuit plugin to avoid confusion on how to create wire forks. Now forks can be created by starting a connection from an existing wire - a joint point will be automatically inserted.
- Automated conversion of Petrify synthesis results into a circuit work.

Conditional Partial Order Graph plugin
- Integration of PG miner tool under Tools→Concurrency extraction menu.
- Interface to different modes of ScEnco tool under Encoding menu.

Dataflow Structures plugin
- Preserve token color on copying the simulation state to the initial state of DFS model.
- Improved cycle analysis interface.

Fixes and technical stuff

PCOMP is updated to version 3.01beta.
ScEnco tool is updated to version 1.1.1.
PGMiner tool is included in the distribution.
Fix for connection geometry re-calculation on un-collapsing a container group.
Fix for copy-pasting collapsed groups.
Use of string constants for property names in all plugins.
Proper refresh of the PropertyEditor title.
Tool sections that start with “!” are promoted to the main menu.
Possibility to rename properties.
Undo for in-place editing of Comments and STG transitions.