From 99c7710ffd3c3f4c488be3738c48fcd9e00e9bcb Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 19 Mar 2008 22:21:57 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@707 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 2e4e6d4d..32d1fc09 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -6,7 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt. Latest changes (reverse chronological): -* Sparse engine version of instantaneous reward properties (R=?[I=k]) 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 * Steady-state properties/operators for DTMCs