From 04bf7f5da6aae51d7cb73580fd23d29a1a9c5f34 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 5 Dec 2007 10:43:18 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@546 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 160161fd..76eb0db0 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -3,11 +3,12 @@ including development and beta versions. For a less detailed overview of the main changes in each public release, see the file VERSIONS.txt. ----------------------------------------------------------------------------- -Latest additions (reverse chronological) (as of svn rev 542) +Latest additions (reverse chronological) (as of svn rev 545) ----------------------------------------------------------------------------- +* New option for displaying extra info during reachability (-extrareachinfo switch) * Addition of some missing reward model checking algorithms - - instantaenous reward properties (R=?[I=k]) for DTMCs/MDPs (MTBDD/sparse engines only) + - instantaneous reward properties (R=?[I=k]) for DTMCs/MDPs (MTBDD/sparse engines only) - cumulative reward properties (R=?[C<=k]) for DTMCs - sparse engine version of reach reward properties (R=?[F...]) for MDPs * New option for displaying extra (MT)BDD info (-extraddinfo switch) @@ -21,7 +22,6 @@ Latest additions (reverse chronological) (as of svn rev 542) * New option for -simpath feature: can enable/disable loop checking * New option for -simpath feature: generation of multiple paths to find deadlock * New "rows" option for matrix exports (-exportrows switch) -* Ability to display extra info about MTBDDs (-extraddinfo switch) * Support for 64-bit architectures * Addition of F and G operators to property language (eventually/globally) * Redesign of the simulator GUI, plus new features: