From c1102209e83fdcbc9d571e0cb021a26caa883512 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 6 Dec 2017 11:32:57 +0100 Subject: [PATCH] update changelog --- CHANGELOG.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 064dea378..9976e61cb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,9 +4,10 @@ Changelog This changelog lists only the most important changes. Smaller (bug)fixes as well as non-mature features are not part of the changelog. The releases of major and minor versions contain an overview of changes since the last major/minor update. +Version 1.2.x +------------- - -### Version 1.2 +### Version 1.2.0 - C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. - storm-cli-utilities now contains cli related stuff, instead of storm-lib - Symbolic (MT/BDD) bisimulation