User Tools

Site Tools


Workcraft v3.3.5 (2021-08-11)

Usability improvements

  • Focus existing model editor if work file is already open
  • Disable command in popup menu if not applicable

Model and tool plugins

  • Digital Circuit plugin
    • Handle failure of CSC conflict resolution during logic synthesis
    • Initialise 2-input gates by adding reset gate to their outputs
    • Command to replace circuit component by its implementation
    • Check for blackbox components before validation of reset and loop breaking
    • Improve undo/redo for reset insertion and loop breaking
  • Signal Transition Graph plugin
    • Optimise detection of the initial state of signals from the initial marking
    • Validate initial state of interface signals before N-way conformation
    • Revise handling of instance numbers for signal events and dummies
    • Fix simulation of several enabled instances of the same event

Fixes and technical stuff

  • Update toolchain to Gradle v7.1.1, PMD v6.36, Checkstyle v8.44
  • Restrict package visibility for unit test classes
  • Refactor tag commands to use method reference instead of lambdas
  • Update of UnfoldingTools backend
    • Fix MPSat for normalisation of Reach predicate
    • Return error code if MPSat fails to resolve CSC conflict during logic synthesis
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki