From 7a5b93bdfa94acfb8e8addef024d301ee326ecc7 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 13 Jul 2018 10:41:54 +0200 Subject: [PATCH] Updated changelog --- CHANGELOG.md | 14 ++++++++------ doc/checklist_new_release.md | 2 +- 2 files changed, 9 insertions(+), 7 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a77718885..ecf9acd2e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,17 +7,19 @@ The releases of major and minor versions contain an overview of changes since th Version 1.2.x ------------- -### Version 1.2.2 (to be released) -- `storm-dft`: improvements in Galileo parser -- `storm-dft`: test cases for DFT analysis +### Version 1.2.2 (2018/07) - Sound value iteration (SVI) for DTMCs and MDPs - Topological solver for linear equation systems and MinMax equation systems (enabled by default) - Added support for expected total rewards in the sparse engine -- `storm-parsers` extracted to reduce linking time -- `storm-counterexamples` extracted to reduce linking time - Improved export for jani models -- Several extensions to high-level counterexamples - A fix in parsing jani properties +- Several extensions to high-level counterexamples +- `storm-parsers` extracted to reduce linking time +- `storm-counterexamples` extracted to reduce linking time +- `storm-dft`: improvements in Galileo parser +- `storm-dft`: test cases for DFT analysis +- Improved Storm installation +- Several bug fixes ### Version 1.2.1 (2018/02) - Multi-dimensional reward bounded reachability properties for DTMCs. diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md index 05be534aa..a55349ef5 100644 --- a/doc/checklist_new_release.md +++ b/doc/checklist_new_release.md @@ -1,5 +1,5 @@ The following steps should be performed before releasing a new storm version. -Note that in most case a simultaneous release of [carl](https://github.com/smtrat/carl), [storm](https://github.com/moves-rwth/storm), [pycarl](https://github.com/moves-rwth/pycarl/) and [stormpy](https://github.com/moves-rwth/stormpy/) is preferred. +Note that in most cases a simultaneous release of [carl](https://github.com/smtrat/carl), [storm](https://github.com/moves-rwth/storm), [pycarl](https://github.com/moves-rwth/pycarl/) and [stormpy](https://github.com/moves-rwth/stormpy/) is preferred. 1. Update `CHANGELOG.md` To get all the commits from an author since the last tag execute: