From 0057407e1649ba9d7b97aa66e5faed06a3966525 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 26 Jul 2013 22:32:49 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7167 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index c8424d7b..2b877d1a 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -2,6 +2,14 @@ This file contains details of the changes in each new version of PRISM. New since last release: +* Additional functionality in explicit engine + - export BSCCs, some LTL +* New -exportmecs switch +* Update CUDD to version 2.5.0 +* Strategy generation: + - improvements in explicit engine implementation + - new -exportstrat switch, in development +* Integer variables can be unbounded (e.g. "x:int;"), for simulation only * Small improvements to usability of the GUI simulator transition table * Slight change to notation for -exportresults to match -exportmodel * Some new '-help xxx' switches (const,simpath,exportresults,aroptions,exportmodel,importmodel)