From aba1c3bfa16db5d59052d232bb7fcdd654eaa376 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 29 Jul 2009 21:02:58 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1356 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index f2ec67d2..de9e9c4f 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,6 +12,15 @@ Latest changes (reverse chronological): * ... +----------------------------------------------------------------------------- +Version 3.3.beta2 (released 29/7/2009) +----------------------------------------------------------------------------- + +Bug fixes: +- LTL model checking (svn: 112, 1132) +- Approximate model checking (svn: 1214) +- Building on new Macs (svn: 1103, 1105, 1349) + ----------------------------------------------------------------------------- Version 3.3.beta1 (released 20/5/2009) (svn: trunk rev 1066) -----------------------------------------------------------------------------