From fc9bdb53fd2aace95e561806125c2f0eceedc92a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 4 Nov 2011 10:22:39 +0000 Subject: [PATCH] CHANGELOG git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4137 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index a36a8f91..97953c44 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -3,21 +3,23 @@ including development and beta versions. For a less detailed overview of the main changes in each public release, see the file VERSIONS.txt. Latest changes (mostly reverse chronological): -[correct wrt svn rev 3876] +[correct wrt svn rev 4136] Changes: +* Results can be exported in matrix form (e.g. for surface plots) * Can disable Prob0/Prob1 precomputation algorithms independently (-noprob0, -noprob1) +* Bash completion scripts + additional syntax highlighters +* Added PrismTest class to illustrate programmatic use of PRISM Ongoing changes: * Handling of verbosity/warnings in log -* Bash completion scripts * Properties can be named, by prefixing with "name":, and reference each other * CTL AG/EF ----------------------------------------------------------------------------- -Version 4.0.2 (released ?) +Version 4.0.2 (released 9/10/2011) ----------------------------------------------------------------------------- * Better handling of undefined constants in properties