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

Small tweaks in CHANGELOG. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6659 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
af2379160b
commit
4e391c23cd
1 changed files with 2 additions and 2 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

@ -38,7 +38,7 @@ Version 4.1 (beta released 20/12/2012)
- settings file ~/.prism only read by GUI (not command-line) by default - settings file ~/.prism only read by GUI (not command-line) by default
- new switch -settings to read a settings file from command-line PRISM - new switch -settings to read a settings file from command-line PRISM
* New file extensions: .prism, .props
* New file extensions for model/properties files: .prism, .props
* New scripts for testing and benchmarking: prism-auto/prism-test/prism-filler * New scripts for testing and benchmarking: prism-auto/prism-test/prism-filler
* New -exportdigital switch for exporting PRISM code built by digital clocks PTA engine * New -exportdigital switch for exporting PRISM code built by digital clocks PTA engine
* New syntax for (CTMC) transient probabilities in P operator: P=? [ F=T "target" ] * New syntax for (CTMC) transient probabilities in P operator: P=? [ F=T "target" ]

Write Preview
Loading…
Cancel
Save