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.
Copyright © 2014-2021 workcraft.org
