From 8b68220f42c73bfaa18bb7e54c2d130c47dc1dca Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 20 Mar 2012 21:21:38 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4916 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 5ed7b0f2..60111107 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,8 +2,23 @@ This file contains details of the changes in each new version of PRISM. ----------------------------------------------------------------------------- Latest changes (mostly reverse chronological): -[correct wrt svn rev 4512] ------------------------------------------------------------------------------ +[correct wrt svn rev 4915] +----------------------------------------------------------------------------- + +* New scripts: prism-auto/prism-test/prism-filler +* Added new "printall" filter. +* Added viewing of witness/counterexample for E[F...] in GUI. +* New syntax for transient probabilities in P operator: P=?[ F=T "target" ] +* New (hidden) options for different symbolic reachability methods (-frontier, -bfs). +* Command-line support for (incrementally) computing ranges of transient probabilities (e.g. -tr 0.1:0.01:0.2) +* New file extensions: .prism, .props +* Major changes to underlying PRISM API +* Changes to deadlock handling: + - new option for "fix deadlocks" (defaults to *true*) (and new switch -fixdl) + - consistent deadlock handling everywhere, incl. GUI and experiments + - changes to model-level deadlock storage (symbolic and explicit) +* Explicit engine added as true engine, also available from GUI +* New MDP solution methods (explicit engine only: ...) ----------------------------------------------------------------------------- Version 4.0.3 (released 30/1/2012)