From 2433671b7d08d069cdcf0feee0971d1783d9ef26 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 1 Aug 2019 16:28:26 +0200 Subject: [PATCH] Changelog update --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 300f9dad5..539f2431a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -15,9 +15,11 @@ Version 1.3.x - Flagged several options as 'advanced' to clean up the `--help`-message. Use `--help all` to display a complete list of options. - Support for the new `round` operator in the PRISM language - Support for parsing of exact time bounds for properties, e.g., `P=? [F=27 "goal"]` +- Export of optimal schedulers when checking MDPs with the sparse engine (experimental). Use `--exportscheduler ` - JANI: Allow bounded types for constants - JANI: Support for non-trivial reward accumulations. - JANI: Fixed support for reward expressions over non-transient variables. +- DRN: Added support for exact parsing and action-based rewards - Fixed sparse bisimulation of MDPs (which failed if all non-absorbing states in the quotient are initial) - Fixed linking with Mathsat on macOS - Fixed compilation for macOS mojave