CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4916 bbc10eb1-c90d-0410-af57-cb519fbb1720

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)