From cb294345ee8d83251b87f25a7364f53f7afc6bdb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 4 Feb 2015 20:49:33 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9655 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/CHANGELOG.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 1b10fb4b..97ae578b 100644
--- 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)
 -----------------------------------------------------------------------------