From b014058c62ebda9e94ab6bd5229bac00de2ebab5 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 25 Jan 2012 10:27:37 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4479 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index af71a57b..d5fcb070 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -8,6 +8,7 @@ Latest changes (mostly reverse chronological): Changes: * Export of results in matrix form, e.g. for surface plots (-exportresultsmatrix) +* And export of results in CSV format (-exportresultscsv and -exportresultsmatrixcsv) * Can disable Prob0/Prob1 precomputation algorithms independently (-noprob0, -noprob1) * Bash completion scripts + additional syntax highlighters * Added PrismTest class to illustrate programmatic use of PRISM @@ -17,7 +18,6 @@ Changes: Ongoing changes: -* CSV format for results export (GUI, not CL yet) * Handling of verbosity in log: PrismLog updated, not used yet * Properties can be named, by prefixing with "name":, and reference each other * CTL AG/EF