changelog:v3.3.5

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