From eb74f77c14b5cd0f8abec899c920f25d9f1f9b21 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 18 Nov 2009 20:51:58 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1566 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 11b4c48a..1af07429 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -22,6 +22,7 @@ Bug fixes: - Building on new 64-bit Macs - Simulator bug (crashes on min/max function) - CTMC transient probs with MTBDD engine crash +- State/transition reward mix-up in parser ----------------------------------------------------------------------------- Version 3.3 (released 29/10/2009)