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