|
|
| Line 3: |
Line 3: |
|
| |
|
| == Version 1.1.0 (26th of January 2021) == | | == Version 1.1.0 (26th of January 2021) == |
| * now contains [VisB|VisB] directly in the application, VisB has been extended considerably now supporting hovers, more attributes, better debugging and error feedback, ... | | * now contains [[VisB|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 | | * supports model checking with time and state limit |
| * improved feedback for model checking (progress bar, memory usage) | | * improved feedback for model checking (progress bar, memory usage) |
Revision as of 09:24, 2 February 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 (18th of July 2019)
First stable release.