CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4481 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 3bcc43c3a2
1 changed files with 1 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -18,6 +18,7 @@ Changes:

 Ongoing changes:

+* Need to decide on switch options format for -exportresults
 * 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