From 24c0e23db2608f35d29056087545af8842b0afbe Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 6 Dec 2017 16:25:25 +0100 Subject: [PATCH] Added checklist for new release --- doc/checklist_new_release.md | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 doc/checklist_new_release.md diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md new file mode 100644 index 000000000..c279ffa95 --- /dev/null +++ b/doc/checklist_new_release.md @@ -0,0 +1,30 @@ +The following steps should be performed before releasing a new storm version. +Note that in most case 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: + ```console + git log last_tag..HEAD --author "author_name" + ``` + +2. Update used carl version: + * Update `GIT_TAG` in `resources/3rdparty/carl/CMakeLists.txt` + * Maybe update `CARL_MINVERSION` in `resources/3rdparty/CMakeLists.txt` + +3. Check that storm builds without errors and all tests are successful + * [Travis](https://travis-ci.org/moves-rwth/storm) should run successfully + +4. Set new storm version: + * Set new storm version in `version.cmake` + +5. Set new tag in git + ```console + git tag new_version + git push origin new_version + ``` + +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) + +8. Announce new storm version on [website](http://www.stormchecker.org/news.html)