diff --git a/.travis.yml b/.travis.yml index 810b2d4..a59a4c3 100644 --- a/.travis.yml +++ b/.travis.yml @@ -48,13 +48,13 @@ jobs: # Docker Storm stable - os: linux compiler: gcc - env: TASK=Test CONFIG=Release DOCKER=storm:1.6.0 PYTHON=python3 + env: TASK=Test CONFIG=Release DOCKER=storm:1.6.2 PYTHON=python3 script: travis/build.sh # Docker Storm stable in debug mode - os: linux compiler: gcc - env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.0-debug PYTHON=python3 + env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.2-debug PYTHON=python3 script: travis/build.sh # Documentation @@ -76,6 +76,6 @@ jobs: # Allow failures of stable versions as new features might have been added allow_failures: - os: linux - env: TASK=Test CONFIG=Release DOCKER=storm:1.6.0 PYTHON=python3 + env: TASK=Test CONFIG=Release DOCKER=storm:1.6.2 PYTHON=python3 - os: linux - env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.0-debug PYTHON=python3 + env: TASK=Test CONFIG=Debug DOCKER=storm:1.6.2-debug PYTHON=python3 diff --git a/CHANGELOG.md b/CHANGELOG.md index 17cfbbf..eaa9077 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,8 @@ Changelog Version 1.6.x ------------- -### Version 1.6.1 (under development) +### Version 1.6.2 (under development) +Requires storm version >= 1.6.2 and pycarl version >= 2.0.4 - Adaptions to changes in Storm - Explicit State Lookup: Finding a state based on the variable values @@ -14,6 +15,9 @@ Version 1.6.x - Renamed `preprocess_prism_program` to `preprocess_symbolic_input` - Bindings for Storm-dft; most notably transformations, symmetries and relevant events +### Version 1.6.1 +Skipped for compatibility with Storm. + ### Version 1.6.0 (2020/06) Requires storm version >= 1.6.0 and pycarl version >= 2.0.4 diff --git a/setup.py b/setup.py index e91e74d..977d354 100755 --- a/setup.py +++ b/setup.py @@ -14,7 +14,7 @@ if sys.version_info[0] == 2: sys.exit('Sorry, Python 2.x is not supported') # Minimal storm version required -storm_min_version = "1.6.1" +storm_min_version = "1.6.2" # Get the long description from the README file with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f: