|
|
| Line 1: |
Line 1: |
|
| |
|
|
| |
|
| ## Version 1.1.0 (26th of January 2021) ##
| | == Version 1.1.0 (26th of January 2021) == |
| - now contains VisB directly in the application, VisB has been extended considerably
| | * 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
| | * 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) |
| - improved feedback for trace replay
| | * improved feedback for trace replay |
| - supports well-definedness checking (as an option under symbolic model checking)
| | * supports well-definedness checking (as an option under symbolic model checking) |
| - improved test case generation view with ability to save generated traces
| | * improved test case generation view with ability to save generated traces |
| - supports static analysis on machine
| | * supports static analysis on machine |
| - supports exporting graphs from graph visualization view as .dot, .png, and .pdf
| | * 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
| | * added table visualization options for jumping to state IDs and source code locations |
| - improved state view that supports expanding formulas
| | * improved state view that supports expanding formulas |
| - improved error feedback in the animator, especially when the machine could not be initialized
| | * improved error feedback in the animator, especially when the machine could not be initialized |
| - improved highlighting of errors in editor
| | * improved highlighting of errors in editor |
| - added option to control warning detail level - can disable warnings or enable additional messages
| | * added option to control warning detail level - can disable warnings or enable additional messages |
| - contains Prolog Output Console for debugging
| | * contains Prolog Output Console for debugging |
| - supports syntax highlighting for TLA, CSP, Alloy, XTL, and Z
| | * supports syntax highlighting for TLA, CSP, Alloy, XTL, and Z |
| - fixed Z support on macOS and Linux
| | * fixed Z support on macOS and Linux |
| - improved performance in various places, especially on startup, when switching machines, and when large machines are loaded
| | * improved performance in various places, especially on startup, when switching machines, and when large machines are loaded |
|
| |
|
| ## Version 1.0.0 ##
| | == Version 1.0.0 == |
| | First stable release. |
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.