User Tools

Site Tools


Workcraft v3.3.3 (2021-04-19)

Usability improvements

  • Model editor
    • Support for additional details in the tab header (can be used for showing enabled events in multi-tab simulation)
    • Allow user-defined preference for screen pixel density via Edit→Preferences…→Editor→Screen pixel density (DPI) - requires restart (system DPI is inaccurate, especially when running Workcraft remotely)
    • Prevent zoom level and grid scaling from changing when the window is resized
    • Limit grid density to prevent excessive number of grid lines
  • Simulation tools
    • Put the text of table cell/header into tooltip if it is too long to fit the column width
    • Use underlying model and decorations, so the simulated model does not change (no asterisk in the editor header)
    • Prevent model change when simulating expanded groups and pages (opening collapsed ones still change the model)
  • Property editor
    • Support for properties with editable predefined values (behaves as a ComboBox that also allows user-defined values)

Model and tool plugins

  • Digital Circuit plugin
    • Only use complex gates and 2-input symmetric C-element in Standard C-element synthesis mode
    • Enable scan insertion in two modes: with stitching and without stitching; this is configurable via Edit→Preferences…→Digital Circuit→Stitch scan into chain (on by default)
    • Support for splitting multi-level gates with reused literals and disconnected pins
    • Snap position of inserted joint node to the grid at its current zoom level and to the position of adjacent node
    • Popup menu for a component to remove all its pins
  • Signal Transition Graph plugin
    • Automatic CSC conflict resolution during MPSat synthesis
    • Improved consistency violation report that distinguish among three possible reasons for inconsistency (as reported by Punf backend)
    • Improved detection of mutex signals
    • Prevent entering hierarchical reference as STG signal name in the Property editor
    • Bugfix to enable import of empty .g files
  • FSM and FST plugins
    • Improved merging of FSM/FST states
    • Allow the use of empty symbol as epsilon
    • Bugfix for accepting incorrect names as FST signals and dummies
    • Fix detection of self-loop connections

Fixes and technical stuff

  • Migration from Travis CI to Github Action for testing
  • Modify unit tests and integration tests for compatibility with Windows
  • Update toolchain to Gradle v7.0, PMD v6.33, Checkstyle v8.41
  • Update Apache Batik to v1.14
  • Support for building flavoured distributions of Workcraft with additional plugins and backend tools
  • Update of UnfoldingTools backend (automatic CSC conflict resolution in MPSat, improve consistency violation report in Punf)
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki