ProB2-UI Release History

Revision as of 11:38, 18 May 2021 by David Geleßus (talk | contribs) (Added download links for old versions)

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

Downloads for version 1.1.0

Version 1.0.0 (18th of July 2019)

First stable release.

Downloads for version 1.0.0