ProB2-UI Release History


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.