From 2c80acd121f28126614eeb38443540a5b84fc59b Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 14 Nov 2019 15:20:41 +0100 Subject: [PATCH] Prepared Changelog for next entries --- CHANGELOG.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d4dc2a4f0..150df6c4b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,10 +4,13 @@ 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.3.x +Version 1.4.x ------------- -### Version 1.3.1 (under development) +### Version 1.4.1 (under development) + + +### Version 1.4.0 (2019/11) - Added support for multi-dimensional quantile queries. - Added support for multi-objective model checking under pure (deterministic) schedulers with bounded memory using `--purescheds`. - Allow to quickly check a benchmark from the [Quantitative Verification Benchmark Set](http://qcomp.org/benchmarks/) using the `--qvbs` option. @@ -41,6 +44,9 @@ Version 1.3.x - Fixed compilation for macOS Mojave and higher. - Several bug fixes. +Version 1.3.x +------------- + ## Version 1.3.0 (2018/12) - Slightly improved scheduler extraction - Environments are now part of the c++ API