You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 

1.6 KiB

The following steps should be performed before releasing a new storm version. Note that in most cases 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.
    • Invoke the script doc/scripts/test_build_configurations.py to build and check different CMake configurations.
  4. Set new storm version:

    • Set new storm version in version.cmake
  5. Set new tag in Git:

    git tag -a new_version
    git push origin new_version
    

    Next we push the tag to GitHub. This step requires the GitHub repo to to be configured as a remote.

    git remote add github https://github.com/moves-rwth/storm.git
    git push github new_version
    

    The new tag should now be visible on GitHub.

  6. Add new release in GitHub.

  7. Update Homebrew formula.

  8. Announce new storm version on website.