From 0cb0ca8a488fc3cc274ff84a23d04fd194edd5a5 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 8 Jun 2020 16:11:49 +0200 Subject: [PATCH] Storm version 1.6.0 --- CHANGELOG.md | 10 ++++++++-- version.cmake | 4 ++-- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 4b48c742d..fcb44736b 100644 --- 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 index 366226594..801d8403c 100644 --- 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)