s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Typo in CHANGELOG. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5295 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
b796a1045c
commit
9411d5f100
1 changed files with 1 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      prism/CHANGELOG.txt

2
prism/CHANGELOG.txt
View File

@ -32,7 +32,7 @@ Version 4.0.3 (released 30/1/2012)
- export in matrix form, e.g. for surface plots - export in matrix form, e.g. for surface plots
- export in CSV (rather than tab-separated) form - export in CSV (rather than tab-separated) form
- expanded switch: -exportresults file[,opt1,opt2,...] with options: matrix,csv - expanded switch: -exportresults file[,opt1,opt2,...] with options: matrix,csv
* Automatically engine switching if numerical computation not supported
* Automatic engine switching if numerical computation not supported
* Optimised Rabin automata for a few common LTL formulae * Optimised Rabin automata for a few common LTL formulae
* Added -pf as a command-line switch alias for -pctl/-csl * Added -pf as a command-line switch alias for -pctl/-csl
* Add .props as a properties file extension (in GUI) * Add .props as a properties file extension (in GUI)

Write Preview
Loading…
Cancel
Save