From 3a29937ea48a66fe0b74dfc956393a2f73364b18 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 29 Apr 2008 16:48:34 +0000 Subject: [PATCH] Unix2dos. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@777 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 68 ++++++++++++++++++++--------------------- prism/VERSIONS.txt | 50 +++++++++++++++--------------- prism/images/README.txt | 28 ++++++++--------- 3 files changed, 73 insertions(+), 73 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 513816ce..47a74c9e 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,41 +1,41 @@ 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. - ------------------------------------------------------------------------------ - -Latest changes (reverse chronological): - -* Transient probabilities computation for DTMCs -* Sparse/hybrid versions of instantaneous reward properties (R=?[I=k]) for DTMCs -* Added weak until (W) and release (R) to properties language -* Easier viewing of model checking results in GUI -* Steady-state properties/operators for DTMCs -* GUI model editor: line numbers, undo -* Language changes: no ranges, new function notation, semicolons, update parentheses -* New parser: more efficient, better error reporting - ------------------------------------------------------------------------------ -Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568) ------------------------------------------------------------------------------ - -* 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) + +----------------------------------------------------------------------------- + +Latest changes (reverse chronological): + +* Transient probabilities computation for DTMCs +* Sparse/hybrid versions of instantaneous reward properties (R=?[I=k]) for DTMCs +* Added weak until (W) and release (R) to properties language +* Easier viewing of model checking results in GUI +* Steady-state properties/operators for DTMCs +* GUI model editor: line numbers, undo +* Language changes: no ranges, new function notation, semicolons, update parentheses +* New parser: more efficient, better error reporting + +----------------------------------------------------------------------------- +Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568) +----------------------------------------------------------------------------- + +* 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) - cumulative reward properties (R=?[C<=k]) for DTMCs - - sparse engine version of reach reward properties (R=?[F...]) for MDPs -* New option for displaying extra (MT)BDD info (-extraddinfo switch) -* Font increase/decrease feature in GUI -* Labels (for use in properties file) can be defined in the model file -* Properties files can use formulas from model file -* Partially correct property files can be loaded into the GUI -* New icon set and graphics -* New graph plotting engine using JFreeChart -* Prototype SBML-to-PRISM translator -* New option for -simpath feature: can enable/disable loop checking -* New option for -simpath feature: generation of multiple paths to find deadlock -* New "rows" option for matrix exports (-exportrows switch) + - sparse engine version of reach reward properties (R=?[F...]) for MDPs +* New option for displaying extra (MT)BDD info (-extraddinfo switch) +* Font increase/decrease feature in GUI +* Labels (for use in properties file) can be defined in the model file +* Properties files can use formulas from model file +* Partially correct property files can be loaded into the GUI +* New icon set and graphics +* New graph plotting engine using JFreeChart +* Prototype SBML-to-PRISM translator +* New option for -simpath feature: can enable/disable loop checking +* New option for -simpath feature: generation of multiple paths to find deadlock +* New "rows" option for matrix exports (-exportrows switch) * Support for 64-bit architectures * Addition of F and G operators to property language (eventually/globally) * Redesign of the simulator GUI, plus new features: diff --git a/prism/VERSIONS.txt b/prism/VERSIONS.txt index 11e6b570..38ccf571 100644 --- a/prism/VERSIONS.txt +++ b/prism/VERSIONS.txt @@ -2,39 +2,39 @@ This file summarises the principal changes between each main public release of P For more detailed information about the various changes, see the file CHANGELOG.txt. ----------------------------------------------------------------------------- -Version 3.2 (beta released 25/2/2008) ------------------------------------------------------------------------------ - -* Support for 64-bit architectures and Mac OS X v10.5 (Leopard) - -* Improvements to property specification language +Version 3.2 (beta released 25/2/2008) +----------------------------------------------------------------------------- + +* Support for 64-bit architectures and Mac OS X v10.5 (Leopard) + +* Improvements to property specification language - addition of F and G operators (eventually/globally) - - can now use labels/formulas from model file in properties files - + - can now use labels/formulas from model file in properties files + * Redesign of the simulator GUI, plus new features: - ability to display accumulated time/rewards - new "Configure view" dialog - easier selection of next step (double click) - -* New graph plotting engine using JFreeChart - -* Other GUI improvements: - - new icon set and graphics - - font increase/decrease feature - - loading of partially correct property files - -* Further additional functionality: - - extra reward model checking algorithms for some engines - - prototype SBML-to-PRISM translator - - new -exportrows switch for matrix exports - - new options for -simpath switch - - new -extraddinfo switch for displaying extra (MT)BDD info - + +* New graph plotting engine using JFreeChart + +* Other GUI improvements: + - new icon set and graphics + - font increase/decrease feature + - loading of partially correct property files + +* Further additional functionality: + - extra reward model checking algorithms for some engines + - prototype SBML-to-PRISM translator + - new -exportrows switch for matrix exports + - new options for -simpath switch + - new -extraddinfo switch for displaying extra (MT)BDD info + ----------------------------------------------------------------------------- Version 3.1.1 (released 5/4/2007) ----------------------------------------------------------------------------- -* Minor bug fixes +* Minor bug fixes ----------------------------------------------------------------------------- Version 3.1 (released 15/11/2006) ----------------------------------------------------------------------------- @@ -159,7 +159,7 @@ Version 1.3 (released 10/2/2003) * Additional example files * Numerous bug fixlatest.htmles * Now released under the GPL license - + ----------------------------------------------------------------------------- Version 1.2 (released 17/9/2001) ----------------------------------------------------------------------------- diff --git a/prism/images/README.txt b/prism/images/README.txt index 8d321f4f..000da38e 100644 --- a/prism/images/README.txt +++ b/prism/images/README.txt @@ -1,14 +1,14 @@ -Many of these images are taken from or based on those from Everaldo Coelho's -Crystal icon set (details below) which is released under LGPL. - -++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -This copyright and license notice covers the images in this directory. -************************************************************************ - -TITLE: Crystal Project Icons -AUTHOR: Everaldo Coelho -SITE: http://www.everaldo.com -CONTACT: everaldo@everaldo.com - -Copyright (c) 2006-2007 Everaldo Coelho. - +Many of these images are taken from or based on those from Everaldo Coelho's +Crystal icon set (details below) which is released under LGPL. + +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ +This copyright and license notice covers the images in this directory. +************************************************************************ + +TITLE: Crystal Project Icons +AUTHOR: Everaldo Coelho +SITE: http://www.everaldo.com +CONTACT: everaldo@everaldo.com + +Copyright (c) 2006-2007 Everaldo Coelho. +