From c1df2bf6ffb31c6199f7e5c11084e747e14564b8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 21 Nov 2009 12:03:49 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1576 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 1af07429..1f10a08e 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -4,13 +4,27 @@ of the main changes in each public release, see the file VERSIONS.txt. Ongoing changes: -* 64-bit Macs? +* Explicit state libraries +* PTA model checking * CTL model checking +* New simulator +* Adversary generation Latest changes (reverse chronological): [correct wrt svn rev ???] -* ... +* Option to specify initial distribution for transient analysis +* Option to export transient probabilities to a file +* New -exporttransdotstates option +* Improved dot file export for MDPs +* Strict upper time-bounds allowed in properties +* New -exportprism switch +* Check for existence of zero-reward loops + +Temporary files: + +* NOTES-* +* examples/ CHECK 3.3.1 details are up-to-date... @@ -37,7 +51,7 @@ Version 3.3.beta2 (released 29/7/2009) ----------------------------------------------------------------------------- Bug fixes: -- LTL model checking (svn: 112, 1132) +- LTL model checking (svn: 1112, 1132) - Approximate model checking (svn: 1214) - Building on new Macs (svn: 1103, 1105, 1349)