From 60ed3c74e7824414dd63bfe4703e8a44ee2f831f Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 19 May 2021 18:54:32 -0700 Subject: [PATCH] update changelog to reflect branch merge --- CHANGELOG.md | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d33caf2d6..0d2ca6203 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,18 +7,16 @@ The releases of major and minor versions contain an overview of changes since th Branch Changes -------------- -- n-ary predicates like atMostOneOf, ExactlyOneOf added -- export to Dice expressions added -- prism language simulator -- masks -- export state lookup map - Version 1.6.x ------------- ## Version 1.6.4 (20xx/xx) - Added an export of check results to json. Use `--exportresult` in the command line interface. - Added computation of steady state probabilities for DTMC/CTMC in the sparse engine. Use `--steadystate` in the command line interface. - Implemented parsing and model building of Stochastic multiplayer games (SMGs) in the PRISM language. No model checking implemented, for now. +- API: Simulation of prism-models +- API: Model-builder takes a callback function to prevent extension of particular actions, prism-to-explicit mapping can be exported +- API: Export of dice-formatted expressions +- Prism-language: n-ary predicates are supported (e.g., ExactlyOneOf) - Added support for continuous integration with Github Actions. - `storm-pars`: Exploit monotonicity for computing extremal values and parameter space partitioning.