changelog:v3.1.3
Workcraft v3.1.3 (2017-02-02)
Usability improvements
-
For better support of scripting the Tool plugins are partitioned into:
All JAR files are moved to bin
directory. This is to prevent users from starting Workcraft by double-clicking workcraft.jar
file, without setting necessary environment variables which is done by workcraft
runner script.
Automatically reconfigure if no model plugins found.
New hierarchy separator .
is used now as it is natively supported by Petrify and MPSat.
Simplified New work dialog – only the model type can be selected, redundant checkboxes and the title textbox are removed.
In verification results window, long MPSat traces are scrolled instead of expanding the textbox to fit the whole trace.
Message box for long MPSat diagnostics only outputs the first and last 10 lines. The whole log still can be seen in the Output tab.
Digital Circuit plugin
Check the type of environment model and issue a warning if it is not an
STG.
Enable use of .g
files for circuit environment.
Revised export of unmapped gates as Verilog assign statements. This also fixes a bug in Verilog export of stdC synthesis results.
Bugfixes for trace expansion (appending the violating transition) for conformation and output persistency properties.
Fixes and technical stuff
Updated UnfoldingTools
Support for .
in IDs so it can be used as a hierarchy separator in Workcraft.
Bug fixes and optimisations in logic decomposition and Verilog output (MPSat).
Bug fix in cut-off check for dummy events (Punf).
Updated PetrifyTools
-write_sg
and -draw_astg
parameters so no need for symbolic links (or copies) write_sg
and draw_astg
of petrify
binary.
Constants are written as Verilog-style 1'b1
and 1'b0
insrtead of SIS-style -1-
and -0-
.
Bugfixes for OSX shortcuts
Cmd+Q correctly exists Workcraft.
↑ and ↓ can be used in text areas.
Interpret two-finger-click of a touchpad as a right-click of a mouse.
Better test coverage with the focus on
STG and Circuit plugins (improved from 17% to 32%).
Consistent state of global settings and plugin settings.
Cleanup of Framework and Workspace singletons.
Updated JavaCC (parser generator) to v7.0.0.
Extend work metadata with Workcraft version and creation timestamp. This is used in compatibility manager to open files created with old versions of Workcraft.
Copyright © 2014-2021 workcraft.org