GSW_AI_LAB

The source code and dockerfile for the GSW2024 AI Lab.

This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

The following steps should be performed before releasing a new stormpy version.

Update CHANGELOG.md
- To get all the commits from an author since the last tag execute:
```
git log last_tag..HEAD --author "author_name"
```
- Set release month
Update used tool versions:
- Update storm_min_version in setup.py
- Update install_requires version of pycarl in setup.py
Check that stormpy builds without errors and all tests are successful
- Travis should run successfully
Set new stormpy version:
- Set new stormpy version in lib/stormpy/_version.py
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/stormpy.git
git push github new_version
```
The new tag should now be visible on GitHub.
Add new release in GitHub.

Create new python package for release on Pypi:

python3 setup.py sdist
python3 -m pip install --user --upgrade twine
python3 -m twine upload dist/*