From ea89261ba784cc4237276da935bd5b6e74decc8c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 26 Apr 2007 15:23:46 +0000 Subject: [PATCH] Updates to CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@318 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 85764397..38c6c34d 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -4,8 +4,10 @@ of the main changes in each public release, see the file VERSIONS.txt. ----------------------------------------------------------------------------- Latest additions (reverse chronological) ------------------------------------------------------------------------------ - +----------------------------------------------------------------------------- + +* New "rows" option for matrix exports (-exportrows switch) +* Ability to display extra info about MTBDDs (-extraddinfo switch) * Cumulative reward properties for DTMCs * Support for 64-bit architectures * Addition of F and G operators to property language (eventually/globally)