changelog:v3.0.3
Workcraft v3.0.3 (2015-01-26)
Usability improvements
- Tools menu is made inactive in simulation mode.
- The menu items are rearranged and simplified
- Utility menu is removed and its items are moved to File (Reconfigure plugins) and View (Reset UI layout).
- Items of Tool→Verification menu are shortened by removing “Check for” prefix.
- The items of Tools→Synthesis menu are shortened by removing “synthesis” suffix.
- Offline help and tutorial files are updated. Workcraft overview files are also included.
- Possibility to undo the action of layout tools.
- The shape of a connection is preserved on relocation of its adjacent nodes.
- Rearrangement of back-end tools in their own sub-directories.
- Flipping and rotation of labels and names of the components.
Model and tool plugins
- Finite State Machine plugin (new)
- Built-in verification tools for
- Determinism.
- Deadlock-freedom.
- Unreachable states.
- Reversibility.
- Tool for building a state graph of a Petri Net (using Petrify).
- Tool for synthesis of Petri Net (using Petrify).
- Tool for converting into Petri Net.
- Finite State Transducer plugin (new)
- Import and export of State Graph .sg files.
- Tool for building a state graph of a Signal Transition Graph (using Petrify).
- Tool for synthesis of Signal Transition Graph (using Petrify).
- Tool for converting into Signal Transition Graph.
- Signal Transition Graph plugin
- Generalisation of a Reach expression for conformation check.
- Tool for STG re-synthesis.
- Tool for conversion between STG and Petri net models.
- Fix for STG signal renaming in the property editor.
- Reduced number of Mpsat modes in custom property window.
- Digital Circuit plugin
- When a circuit is converted to STG its gates that drive the primary outputs get signal names from the output ports. No new signals are created for the ports themselves.
- Environment URI is made relative to location of the circuit work file.
- Forbid input pins of the circuit components to be drivers.
- Structured Occurrence Net plugin
- BSON and CSON reachability check.
- Replace cycle detection algorithm by Tarjan algorithm.
- Behavioural condition is marked if every its corresponding abstract-initial-condition is marked.
- Add synchronous communication checking for abstract events.
- Update the enabled event color in reverse simulation.
- Reset reverse simulation state when tool is activated or deactivated.
- Conditional Partial Order Graph plugin
- Support for Windows version of programmer backend tool.
- Encoding results now saved into a temporary folder.
- Renaming of Programmer tool into Scenco.
Fixes and technical stuff
- Correction of .g parsers for recognition of comments.
- Generalised model converter tool for translation between similar models.
- Refactoring of visual connection type.
- Refactoring the usage of Framework as a singleton class.
- Reference counting in DefaultMathNodeRemover is replaced with tracking the set of dependent nodes.
- Unit tests are updated.
- PetrifyUtilitySettings class is moved from the core to petrify plugin.
- Bounding box of the current level is calculated in root space for level-up at double click.
- Move nodes and control points at reparenting.
- Generalised handling of property based on enum type with predefined values.
- The deprecated classes for DualModelDeserialisation are removed.
Copyright © 2014-2021 workcraft.org
