changelog:v3.3.0
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 – click Check syntax button in custom assertion dialog to confirm property correctness or, in case of a problem, to highlight the syntactic error.
- Sort signals in model-level properties in size-lexicographical order.
- Handle errors for missing backend tools and gate libraries.
- Move the choice of file format for import into the File→Import menu.
- Switch between editor tabs with Ctrl+Tab.
- Close editor tabs and tool panels by middle-click.
- Extend text editors for custom properties:
- Undo (Ctrl+Z) and redo (Ctrl+Shift+Z).
- Text size increase (Ctrl++), decrease (Ctrl+_) and restore (Ctrl+0).
- Poup menu of the above commands.
Model and tool plugins
- Digital Circuit plugin
- Allow Verilog gate and port with the same name
- Signal Transition Graph plugin
- Preset manager for handshake verification wizard.
- Separate REACH templates for STG and Petri net models.
- Prevent name clashing between the pages and signals and places inserted by backend tools.
- Insertion transitions of input/output/internal signals into arcs (available via Transformation menu for selected arcs or via arc popup menu).
Fixes and technical stuff
- Refactor directory structure, build system and distribution scripts to enforce the separation between public and private plugins.
- Increase the coverage of source code by unit tests to 68%.
- Update of the build system and its plugins to Gradle v6.5.
- Update unit testing to JUnit5.
- Upgrade graphic exporters to Batik v1.13 and FOP v2.5.
- Fix processing of empty-trace in MPSat solutions.
- Fix menu update on closure of last editor window.
- Pass current directory via -dir: option in Windows.
- Updated UnfoldingTools backend:
- Normal form for gC equations.
- Explicit error when gate library is missing.
- Early exit from MPSat after syntax check.
- Clean up of legacy code by removing support for:
- MCI unfolding format (instead PNML format is used for all operations).
- Numeric node references (C-style identifiers are used since v3.0.0 (2014-10-01)).
Copyright © 2014-2021 workcraft.org
