|
|
|
@ -3,7 +3,7 @@ including development and beta versions. For a less detailed overview |
|
|
|
of the main changes in each public release, see the file VERSIONS.txt. |
|
|
|
|
|
|
|
Latest changes (mostly reverse chronological): |
|
|
|
[correct wrt svn rev 4136] |
|
|
|
[correct wrt svn rev 4512] |
|
|
|
|
|
|
|
Changes: |
|
|
|
|
|
|
|
@ -11,12 +11,14 @@ Changes: |
|
|
|
- properties can be named, by prefixing with "name": |
|
|
|
- properties can appear as sub-formulae of other properties using name references |
|
|
|
- command-line -prop switch allows selection of property to check by name |
|
|
|
* Added -pf as a command-line switch alias for -pctl/-csl |
|
|
|
* Add .props as a properties file extension (in GUI) |
|
|
|
* New options for results export |
|
|
|
- export in matrix form, e.g. for surface plots |
|
|
|
- export in CSV (rather than tab-separated) form |
|
|
|
- expanded switch: -exportresults file[,opt1,opt2,...] with options: matrix,csv |
|
|
|
* Automatically engine switching if numerical computation not supported |
|
|
|
* Optimised Rabin automata for a few common LTL formulae |
|
|
|
* Added -pf as a command-line switch alias for -pctl/-csl |
|
|
|
* Add .props as a properties file extension (in GUI) |
|
|
|
* New switches -noprob0/-noprob1 to disable individual precomputation algorithms |
|
|
|
* Added prominence given to log warning messages in command-line/GUI |
|
|
|
* GUI on Macs uses Cmd, not Ctrl |
|
|
|
@ -24,11 +26,6 @@ Changes: |
|
|
|
* Command-line scripts can signal termination via growlnotify/notify-send |
|
|
|
* Bash completion scripts + additional syntax highlighters |
|
|
|
|
|
|
|
Ongoing changes: |
|
|
|
|
|
|
|
* Handling of verbosity in log: PrismLog updated, not used yet |
|
|
|
* CTL AG/EF |
|
|
|
|
|
|
|
----------------------------------------------------------------------------- |
|
|
|
Version 4.0.2 (released 9/10/2011) |
|
|
|
----------------------------------------------------------------------------- |
|
|
|
|
Dave Parker
14 years ago