From cbe906605f8d2796e1ca0fdeb277e481091d0bd7 Mon Sep 17 00:00:00 2001 From: TimQu Date: Sat, 29 Jul 2017 22:51:07 +0200 Subject: [PATCH] updated changelog --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 94c0c14b9..4f9972576 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -20,7 +20,7 @@ Version 1.0.x - USE_POPCNT removed in favor of FORCE_POPCNT. The popcnt instruction is used if available due to march=native, unless portable is set. Then, using FORCE_POPCNT enables the use of the SSE 4.2 instruction - Parametric model checking is now handled in a separated library/executable called storm-pars -- Support for long-run average rewwards on Markov automata using the value-iteration based approach by Butkova et al. (TACAS 17) +- Support for long-run average rewards on MDPs and Markov automata using a value-iteration based approach - Support for parsing/building models given in the explicit input format of IMCA. ### Version 1.0.1 (2017/4)