- Fix issue with strategies being set when no system is set
- Tighter grid is disabled, when grid is tightest
- Fixed the problem with fontColor in JFreeChartPlot
- Remove race condition in SimulationThread
- Correctly evaluate arrays of channels
- Symbolic Simulator "Mark visited"-related fixes
- Added "controllable" popup option to the edge context menu
- Improved UX in Find
- Fixed issue where the meta type was ignored for boolean variables
- Fixes dynamic library support across Linux, macOS and Windows
- Avoid disappearing error highlights
- Allow constant variables in translated parameters
- Unify GUI colors
- Updated UTAP to 1.1.6 (enable quantifiers {sum,forall,exists} at compile time)
- Fix issue where location predicates were always true or false
- Cancel edge creation with undo action
- Improve expression printing
- Make error dialog more user friendly
- Improve safety and readability of opcodes in program and some exception handling
- Fix quantifier expressions as constant expressions
- Refactor query results and add run limit to Probability queries
- Refactor JSON serialization in GUI to use GSON
- Get back the old color for location
- Remove EmptyCommand and fixed edge creation issues
- Translate constant parameters through evaluation
- Updated OpenSSL to 3.0.7
- Fixes NPE when the document child node has no "name" property
- Fixes non-deterministic inputs in concrete simulator
- Check whether the file exists for better error reporting
- Concrete simulator under strategy minor fixes
- Fixed issue where clocks are overwritten during guard evaluation
- Minor fixes for error dialog
- Reintroduced engine output localization
- Terminate trace if step bounded and no steps can be reached
- Refactored FMU generation with better I/O error handling
- Fix handling of non-deterministic inputs in Concrete Simulator
- Concrete sim handle 0 delay case with diagonal constraints with differing rates
- Fix error positions for synchronization expressions
- Learning strategy fix and concrete simulator support
- Opening non-existing file and better error messages
- Let strategy to choose the longest delay when all outgoing edges are input-guarded
- Don't remove strategies when receiving feedback from query
- Re-enable concrete trace recovery from verification errors
- Fixed time-lock error message to include state info
- Fixed clock rate precomputation before a stochastic trace is generated
- Add target invariant checking in concrete simulator
- Make simulation trajectory count respect successful number of runs
- Improve error handling and reporting
- Allow urgent edges to override exponential rate requirement
- Added two new stratego examples: train-gate-strat.xml and cat-and-mouse.xml
- Skip input edges with no matching output
- Upload system before firing system changed event
- Removed SwiXML checks on standard Swing components
- Added strategy selection in the Concrete Simulator.
- Added local and global search and replace (ctrl+f, ctrl+r, ctrl+shift+f, ctrl+shift+r).
- Added “Open Example” and “Open Recent” menu items.
- Added built-in declarations of C constants (INT32_MAX, M_PI etc) and types (int8_t, int32_t etc).
- Added arrow key handling in timed automaton editor (ctrl+arrow, ctrl+shift+arrow).
- Added contextual popup menu for multiple selected timed automaton elements.
- Added opening of dragged over XML files.
- Added error message when free template parameter is unbounded, which caused unintended instantiation of 64K processses.
- Added an option to use JFreeChart for plots in Preferences (enables pan and zoom).
- Added advanced text editor mode to Preferences (automatic tabulation and nesting of parenthesis).
- Fixed SMC query syntax to specify the number of runs inside square braces.
- Fixed many issues in Concrete Simulator.
- Fixes several issues in plots.
- Fixed loading of diagnostic traces on macOS.
- Fixed color and box handling of comments over timed automaton.
- Fixed handling of variables in the Test Generator.
- Fixed keyboard shortcut consistency.
- Fixed engine-related menu layout.
- Fixed layout of engine connection dialog.
- Fixed license dialog and lease handling.
- Fixed DBL_MAX value display in Concrete Simulator.
- Fixed undo support for change of initial location.
- Fixed exception when clicking on empty query list.
- Fixed drag-and-drop of templates between instances.
- Fixed icons and positions of popup windows.
- Fixed status bar scaling.