From 32371c44d4b9953c5e73268850482aa3733f0200 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 13 Dec 2019 15:35:21 +0100 Subject: [PATCH] Updated documentation for new release --- CHANGELOG.md | 3 +++ doc/checklist_new_release.md | 2 ++ 2 files changed, 5 insertions(+) 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.