|
|
| Line 1: |
Line 1: |
| Release history for [[ProB2_JavaFX_UI|Java FX UI (aka ProB2 FX)]] | | Release history for [[ProB2_JavaFX_UI|ProB2 UI]] based on JavaFX. |
| * The latest stable version and current snapshots of this new UI [[Download#ProB2_UI_using_Java_FX|are available for download]] | | * The latest stable version and current snapshots of this new UI [[Download#ProB2_UI_using_Java_FX|are available for download]] |
|
| |
|
Revision as of 13:57, 27 January 2021
Release history for ProB2 UI based on JavaFX.
Version 1.1.0 (26th of January 2021)
- now contains VisB directly in the application, VisB has been extended considerably now supporting hovers, more attributes, better debugging and error feedback, ...
- supports model checking with time and state limit
- improved feedback for model checking (progress bar, memory usage)
- improved feedback for trace replay
- supports well-definedness checking (as an option under symbolic model checking)
- improved test case generation view with ability to save generated traces
- supports static analysis on machine
- supports exporting graphs from graph visualization view as .dot, .png, and .pdf
- added table visualization options for jumping to state IDs and source code locations
- improved state view that supports expanding formulas
- improved error feedback in the animator, especially when the machine could not be initialized
- improved highlighting of errors in editor
- added option to control warning detail level - can disable warnings or enable additional messages
- contains Prolog Output Console for debugging
- supports syntax highlighting for TLA, CSP, Alloy, XTL, and Z
- fixed Z support on macOS and Linux
- improved performance in various places, especially on startup, when switching machines, and when large machines are loaded
Version 1.0.0
First stable release.