From fadb7858ab2f878c43acff635430c1ffb2b2d675 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 6 Oct 2011 15:52:31 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3879 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 22 ++++++++++++++-------- 1 file changed, 14 insertions(+), 8 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 8281ab27..13cd5af9 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -3,13 +3,7 @@ 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 3510] - -* Fixed anti-aliasing in GUI model editor -* Better handling of undefined constants in properties -* Added -exportprodtrans and -exportprodstates switches -* More improvements to explicit engine -* Bug fixes +[correct wrt svn rev 3876] Ongoing changes: @@ -17,7 +11,19 @@ Ongoing changes: * CTL AG/EF ----------------------------------------------------------------------------- -Version 4.0.1 (released ...) +Version 4.0.2 (released ?) +----------------------------------------------------------------------------- + +* Better handling of undefined constants in properties +* Added -exportprodtrans and -exportprodstates switches +* More improvements to explicit engine +* Simulator fix: ignores "max path length" for time-bounded properties +* Fixed to compile on Java 7 +* Fixed anti-aliasing in GUI model editor +* Various bug fixes + +----------------------------------------------------------------------------- +Version 4.0.1 (released 27/7/2011) ----------------------------------------------------------------------------- * Added if-and-only-if operator (<=>) for use in models/properties