From 51b0df55e4dc3a7f413c613fcd54bce8bcd44d5a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 22 Nov 2009 22:21:24 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1581 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 1f10a08e..3b1215f9 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -37,6 +37,7 @@ Bug fixes: - Simulator bug (crashes on min/max function) - CTMC transient probs with MTBDD engine crash - State/transition reward mix-up in parser +- Approximate verification of lower time-bounded properties for CTMCs ----------------------------------------------------------------------------- Version 3.3 (released 29/10/2009)