From 7456dbf2fee6c7379069b313ec83eaf46029860e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 22 Sep 2015 08:20:10 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10688 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 780d2845..9c22cb57 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,5 +1,20 @@ This file contains details of the changes in each new version of PRISM. +Recent changes: (up to svn rev 10687) + +* Timeout feature (-timeout switch) +* Built-in support for Nailgun client/server +* Allow -exportpropaut to export DA in HOA format (-exportpropaut:hoa da.hoa) +* Debugging options: -dddebug and -ddtrace command-line switches +* Allow -javamaxmem switch for GUI as well as command line +* Better error handling when CUDD runs out of memory +* Partial support for multi-objective queries expressed as Boolean expressions +* Allow <<>> and [[]] operators for MDP (only * or empty), all engines +* Model checking of expected reward to satisfy a co-safe LTL formula, all engines +* Performance improvements in explicit engine +* prism-auto: new options (--show-warnings, --nailgun, --ngprism), multiple -x switches +* Bug fixes + ----------------------------------------------------------------------------- Version 4.3 (first released 14/7/2015) -----------------------------------------------------------------------------