From c19c1326739f9d9e3aa4bad41084fab8fef2f3ec Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 26 May 2009 19:50:06 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1102 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 0df9672d..f2ec67d2 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,6 +2,16 @@ 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. +Ongoing changes: + +* 64-bit Macs? +* CTL model checking + +Latest changes (reverse chronological): +[correct wrt svn rev ???] + +* ... + ----------------------------------------------------------------------------- Version 3.3.beta1 (released 20/5/2009) (svn: trunk rev 1066) -----------------------------------------------------------------------------