changelog:v3.5.4
Workcraft v3.5.4 (2025-12-01)
Usability improvements
- Improved error detection and reporting in Boolean expression parser
- Refresh bounding boxes of all nodes when model editor is first created
- Fix import of files whose name has trailing spaces
Model and tool plugins
- Digital Circuit plugin
- Improve gate conversion on circuit initialisation by skipping redundant initialisation of tie cells and reusing existing buffers/inverters adjacent to gate output
- Declutter Transformation menu by arranging some commands into sub-menus
- Signal Transition Graph plugin
- Improve efficiency of conversion of dual producing/consuming arcs into read arcs
- Speed up import of very large .g files from minutes to seconds
- MPSat Verification plugin
- Skip showing dialog for user-defined exceptions if there are no possible exceptions to enter
- Simplify Reach expression for refinement, conformation and N-way conformation properties
- Arrange STG and Circuit verification properties into sub-menu Individual essential properties [MPSat] (all properties still can be checked via top-level menu item All essential properties (reuse unfolding) [MPSat])
- Arrange STG refinement and conformation properties into sub-menu Refinement-like properties [MPSat]
- Rename Mutex place implementability to Mutex protocol
- Promote Output determinacy above Deadlock freeness
Technical stuff
- Update build system to Gradle v9.2.1, CheckStyle v12.1.2, PMD v7.17, CPD v4.0.5
- Prevent
nullvalue on interrupted change of ComboBox property for several selected nodes - Improve rendering of Action, ActionList and ComboBox entries in Property editor
Copyright © 2014-2024 workcraft.org