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