===== 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 ''null'' value on interrupted change of //ComboBox// property for several selected nodes
  * Improve rendering of //Action//, //ActionList// and //ComboBox// entries in //Property editor//