From 1de76b36c842460b4e2ca75cdf35f3481eab6539 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 3 Dec 2019 17:27:59 +0100 Subject: [PATCH] Updated steps for new release --- doc/checklist_new_release.md | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md index e14f02667..553ea68d9 100644 --- a/doc/checklist_new_release.md +++ b/doc/checklist_new_release.md @@ -1,11 +1,12 @@ The following steps should be performed before releasing a new storm version. Note that in most cases a simultaneous release of [carl](https://github.com/smtrat/carl), [storm](https://github.com/moves-rwth/storm), [pycarl](https://github.com/moves-rwth/pycarl/) and [stormpy](https://github.com/moves-rwth/stormpy/) is preferred. -1. Update `CHANGELOG.md`. - To get all the commits from an author since the last tag execute: +1. Update `CHANGELOG.md`: + * To get all the commits from an author since the last tag execute: ```console git log last_tag..HEAD --author "author_name" ``` + * Set release month 2. Update used carl version: * Update `GIT_TAG` in `resources/3rdparty/carl/CMakeLists.txt` @@ -32,6 +33,13 @@ Note that in most cases a simultaneous release of [carl](https://github.com/smtr 6. [Add new release](https://github.com/moves-rwth/storm/releases/new) in GitHub. -7. Update [Homebrew formula](https://github.com/moves-rwth/homebrew-storm). +7. Update `stable` branch: + ```console + git checkout stable + git merge master + git push origin stable + ``` + +8. Update [Homebrew formula](https://github.com/moves-rwth/homebrew-storm). -8. Announce new storm version on [website](http://www.stormchecker.org/news.html). +9. Announce new storm version on [website](http://www.stormchecker.org/news.html).