From 7c232b8ce58fd77723341b07815fda3b09918c62 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Nov 2006 13:10:43 +0000 Subject: [PATCH] CHANGELOG/VERSIONS update. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@112 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 20 ++++++++++++++------ prism/VERSIONS.txt | 16 ++++++++++++++++ 2 files changed, 30 insertions(+), 6 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 39fe9075..0d705860 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,12 +2,20 @@ 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. -New stuff: -* multiple reward structures - - can be given names too - - accessed by R{i}=?[] or R{"name"}=?[ m/c - - simulation - - export +----------------------------------------------------------------------------- +Version 3.1.beta1 (3/11/2006) (svn rev 112) +----------------------------------------------------------------------------- + +* New installer for Windows binary +* Models can now have multiple (named) reward structures +* New -simpath switch for command-line generation of random paths with simulator +* Minor PRISM language improvements: + - type keyword does not need to be first thing in model file + - doubles in exponential form (1.4e-9) and unary minus (-1) allowed +* PRISM settings file now used by command-line version too +* Small GUI improvements +* New option to disable steady-state detection for CTMC transient analysis +* Bug fixes ----------------------------------------------------------------------------- Version 3.0 (6/7/2006) (svn rev 55) diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index 8fbe170a..82fad3ab 100644 --- a/prism/VERSIONS.txt +++ b/prism/VERSIONS.txt @@ -1,6 +1,22 @@ This file summarises the principal changes between each main public release of PRISM. For more detailed information about the various changes, see the file CHANGELOG.txt. +----------------------------------------------------------------------------- +Version 3.1 (beta1 released 3/11/2006) +----------------------------------------------------------------------------- + +* New installer for Windows binary +* Models can now have multiple (named) reward structures +* New -simpath switch for command-line generation of random paths with simulator +* Minor PRISM language improvements: + - type keyword does not need to be first thing in model file + - doubles in exponential form (1.4e-9) and unary minus (-1) allowed +* PRISM settings file now used by command-line version too +* Small GUI improvements +* New option to disable steady-state detection for CTMC transient analysis +* Bug fixes + + ----------------------------------------------------------------------------- Version 3.0 (released 6/7/2006) -----------------------------------------------------------------------------