diff --git a/CHANGELOG.md b/CHANGELOG.md index 53253488f..de69b3b1d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,9 @@ The releases of major and minor versions contain an overview of changes since th Version 1.4.x ------------- +## Version 1.4.2 (under development) +- n.a. + ### Version 1.4.1 (2019/12) - Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations. - Added several LRA related settings in a new settings module. Note that `--minmax:lramethod` has been replaced by `--lra:nondetmethod`. diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md index 553ea68d9..dcb1351a1 100644 --- a/doc/checklist_new_release.md +++ b/doc/checklist_new_release.md @@ -43,3 +43,5 @@ Note that in most cases a simultaneous release of [carl](https://github.com/smtr 8. Update [Homebrew formula](https://github.com/moves-rwth/homebrew-storm). 9. Announce new storm version on [website](http://www.stormchecker.org/news.html). + +10. Create [Docker containers](https://hub.docker.com/r/movesrwth/storm) for new version.