Storm version 1.6.0

moves-rwth · Jun 8, 2020 · 0cb0ca8 · 0cb0ca8
1 parent a7f847d
commit 0cb0ca8
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,9 +5,10 @@ This changelog lists only the most important changes. Smaller (bug)fixes as well
 The releases of major and minor versions contain an overview of changes since the last major/minor update.
 
 
-Version 1.5.x
+Version 1.6.x
 -------------
-## Version 1.5.x (Under development)
+
+## Version 1.6.0 (2020/06)
 - Changed default Dd library from `cudd` to `sylvan`. The Dd library can be changed back to `cudd` using the command line switch `--ddlib`.
 - Scheduler export: Properly handle models with end components. Added export in `.json` format.
 - CMake: Search for Gurobi prefers new versions
@@ -20,6 +21,11 @@ Version 1.5.x
 - `storm-pomdp`: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property.
 - `storm-pomdp`: Implemented almost-sure reachability computations: graph-based, one-shot SAT-based, and iterative SAT-based
 - `storm-pomdp': Various changes such that transformation to pMCs is now again supported (and improved)
+- Fixed several compiler warnings.
+
+
+Version 1.5.x
+-------------
 
 ## Version 1.5.1 (2020/03)
 - Jani models are now parsed using exact arithmetic.

diff --git a/version.cmake b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
-set(STORM_VERSION_MINOR 5)
-set(STORM_VERSION_PATCH 1)
+set(STORM_VERSION_MINOR 6)
+set(STORM_VERSION_PATCH 0)