ProB2-UI Release History: Difference between revisions

m (Fix link to download page)
(Redirected page to ProB2-UI#Download)
Tag: New redirect
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
Release history for [[ProB2-UI]] based on JavaFX.
#REDIRECT [[ProB2-UI#Download]]
* The latest stable version and current snapshots of this new UI  [[Download#ProB2-UI using Java FX|are available for download]]
 
== 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, ...
* 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.

Latest revision as of 15:59, 20 June 2023

Redirect to: