From 70029468455d3bd40166720caaa2156580386f51 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 24 Nov 2020 10:10:55 +0100 Subject: [PATCH] Updated changelog. --- CHANGELOG.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index c9481759d..c4555c987 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,13 +8,14 @@ The releases of major and minor versions contain an overview of changes since th Version 1.6.x ------------- -## Version 1.6.3 (20xx/xx) +## Version 1.6.3 (2020/11) - Added support for multi-objective model checking of long-run average objectives including mixtures with other kinds of objectives. - Added support for generating optimal schedulers for globally formulae - Simulator supports exact arithmetic - Added switch `--no-simplify` to disable simplification of PRISM programs (which sometimes costs a bit of time on extremely large inputs) - Fixed issues with JANI inputs concerning - - transient variable expressions in properties and + - transient variable expressions in properties, + - constants in properties, and - integer variables with either only an upper or only a lower bound. - `storm-pomdp`: States can be labelled with values for observable predicates - `storm-pomdp`: (Only API) Track state estimates