From b350a934841c3b21bd629c1f0e848b940a5280e7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 3 Apr 2008 11:39:50 +0000 Subject: [PATCH] CHANGELOG.txt. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@721 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 32d1fc09..513816ce 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt. Latest changes (reverse chronological): +* Transient probabilities computation for DTMCs * Sparse/hybrid versions of instantaneous reward properties (R=?[I=k]) for DTMCs * Added weak until (W) and release (R) to properties language * Easier viewing of model checking results in GUI