CHANGELOG.txt.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@721 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · b350a93484
1 changed files with 1 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt.

 Latest changes (reverse chronological):

+* Transient probabilities computation for DTMCs
 * Sparse/hybrid versions of instantaneous reward properties (R=?[I=k]) for DTMCs
 * Added weak until (W) and release (R) to properties language
 * Easier viewing of model checking results in GUI