From 768d9cc21fe2203a6b1d7ec3895dfc41c6c735f0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 7 Feb 2008 15:24:15 +0000 Subject: [PATCH] CHANGELOG.txt. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@555 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 76eb0db0..9cf3ec23 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt. Latest additions (reverse chronological) (as of svn rev 545) ----------------------------------------------------------------------------- +* Fix to allow building on Mac OS X v10.5 (Leopard) * New option for displaying extra info during reachability (-extrareachinfo switch) * Addition of some missing reward model checking algorithms - instantaneous reward properties (R=?[I=k]) for DTMCs/MDPs (MTBDD/sparse engines only)