CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4108 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · ff893c6cdc
1 changed files with 4 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -5,6 +5,10 @@ of the main changes in each public release, see the file VERSIONS.txt.
 Latest changes (mostly reverse chronological):
 [correct wrt svn rev 3876]
 Changes:
 * Can disable Prob0/Prob1 precomputation algorithms independently (-noprob0, -noprob1)
 Ongoing changes:
 * Handling of verbosity/warnings in log