User Tools

Site Tools


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-2020 workcraft.org