CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9655 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · cb294345ee
1 changed files with 10 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -1,5 +1,15 @@
 This file contains details of the changes in each new version of PRISM.

+Latest changes: (up to rev 9654)
+
+* -exact switch
+* -exportpropaut (hidden)
+* Some LTL model checking optimisations
+* Expected total rewards (R[C]) implemented for DTMCs in symbolic engine.
+* lower time-bounds supported for DTMCs/MDPs
+* -pathviaautomata switch
+* Bug fixes
+
 -----------------------------------------------------------------------------
 Version 4.2.1 (first released 4/12/2014)
 -----------------------------------------------------------------------------