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

CHANGELOG. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6023 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
3295869453
commit
f98a0727f3
1 changed files with 3 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. 4
      prism/CHANGELOG.txt

4
prism/CHANGELOG.txt
View File

@ -2,9 +2,11 @@ This file contains details of the changes in each new version of PRISM.
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
Latest changes (mostly reverse chronological): Latest changes (mostly reverse chronological):
[correct wrt svn rev 5476]
[correct wrt svn rev 6022]
----------------------------------------------------------------------------- -----------------------------------------------------------------------------
* GUI now takes both model and properties files as arguments
* -importinit option works for steady-state as well as transient probability computation
* Prototype reactions-to-PRISM translator * Prototype reactions-to-PRISM translator
* New options to plot graphs for simulation paths in the GUI * New options to plot graphs for simulation paths in the GUI
* Improvements to simulation path generation using -simpath switch * Improvements to simulation path generation using -simpath switch

Write Preview
Loading…
Cancel
Save