(Created page with " ## 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,...") |
No edit summary |
||
| Line 1: | Line 1: | ||
== 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, ... | 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. | |||
now supporting hovers, more attributes, better debugging and error feedback, ...
First stable release.