CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1566 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · eb74f77c14
1 changed files with 1 additions and 0 deletions
--- 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)