tempest/doc/checklist_new_release.md

The following steps should be performed before releasing a new storm version. Note that in most case a simultaneous release of carl, storm, pycarl and stormpy is preferred.

1. Update CHANGELOG.md To get all the commits from an author since the last tag execute:

   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 should run successfully

4. Set new storm version:

   • Set new storm version in version.cmake

5. Set new tag in git

   git tag new_version
   git push origin new_version
   

6. Add new release in Github

7. Update Homebrew formula

8. Announce new storm version on website