From 77d200e9b3e4937935f968c73375d610d4bb7c4e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 23 Apr 2007 09:29:47 +0000 Subject: [PATCH] Added dev changes to CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@294 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index eaa553f6..8f082a97 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,6 +1,19 @@ This file contains details of the changes in each new version of PRISM, 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) +----------------------------------------------------------------------------- + +* Cumulative reward properties for DTMC +* Support for 64-bit architectures +* Addition of F and G operators to property language (eventually/globally) +* Redesign of the simulator GUI, plus new features: + - ability to display cumulated time/rewards + - new "Configure view" dialog + - easier selection of next step (double click) +* Resizeable experiment results table ----------------------------------------------------------------------------- Version 3.1.1 (5/4/2007)