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