CHANGELOG.txt.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@555 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 768d9cc21f
1 changed files with 1 additions and 0 deletions
--- 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)