From b469b11054e9d329880a84aa2a01649cba0bc7e2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 16 Dec 2010 09:46:50 +0000 Subject: [PATCH] README/CHANGELOG git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2336 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 5 ----- prism/README.txt | 20 +++++++++++--------- 2 files changed, 11 insertions(+), 14 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 3b7418fd..c8c78e7a 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,11 +2,6 @@ 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: - -* Explicit state libraries -* CTL model checking - Latest changes (mostly reverse chronological): [correct wrt svn rev 2286] diff --git a/prism/README.txt b/prism/README.txt index 1a027492..0b6e966d 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -2,7 +2,7 @@ README ====== -This is PRISM (Probabilistic Symbolic Model Checker), version 3.3. +This is PRISM (Probabilistic Symbolic Model Checker), version 4.0. ------------ INSTALLATION @@ -76,14 +76,15 @@ library, see: ACKNOWLEDGEMENTS ---------------- -The core team behind the development of PRISM, previously working in the -School of Computer Science at the University of Birmingham and now working -in the Computing Laboratory at the University of Oxford, comprises: +Currently, development work on PRISM is primarily carried out in the +Computing Laboratory at the University of Oxford. Previously, PRISM +was based in the School of Computer Science at the University of Birmingham. - * Dave Parker - * Gethin Norman - * Marta Kwiatkowska - * Mark Kattenbelt +The core team working on PRISM currently comprises: + + * Dave Parker (Oxford) + * Gethin Norman (Glasgow) + * Marta Kwiatkowska (Oxford) Contributions to the development of PRISM have also been gratefully received from: @@ -92,6 +93,7 @@ Contributions to the development of PRISM have also been gratefully received fro * Alistair John Strachan: Port to 64-bit architectures * Stephen Gilmore: Support for the stochastic process algebra PEPA * Paolo Ballarini & Kenneth Chan: Port to Mac OS X + * Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI * Rashid Mehmood: Improvements to low-level data structures and numerical solution algorithms * Alistair John Strachan, Mike Arthur and Zak Cohen: Integration of JFreeChart into PRISM * Charles Harley and Sebastian Vermehren: GUI enhancements @@ -115,7 +117,7 @@ Other comments and feedback about any aspect of PRISM are also very welcome. Ple Dave Parker (david.parker@comlab.ox.ac.uk) - Oxford University Computing Laboratory, + Oxford University Computing Laboratory Wolfson Building Parks Road Oxford