From 693d5470a301f94a712e08ca3c1e2302a6d7989e Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Mon, 9 Aug 2021 18:21:44 +0200 Subject: [PATCH] Updated changelog a bit. --- CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 575df222b..f7e13b53d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,7 +9,7 @@ The releases of major and minor versions contain an overview of changes since th Version 1.6.x ------------- ## Version 1.6.4 (20xx/xx) -- Added support for model checking LTL properties in the sparse (and dd-to-sparse) engine. Requires building with Spot. +- Added support for model checking LTL properties in the sparse (and dd-to-sparse) engine. Requires building with Spot or an external LTL to deterministic automaton converter (using option `--ltl2datool`). - Added cmake options `STORM_USE_SPOT_SYSTEM` and `STORM_USE_SPOT_SHIPPED` to facilitate building Storm with [Spot](https://spot.lrde.epita.fr/). - Improved parsing of formulas in PRISM-style syntax. - Added export of schedulers that use memory (in particular optimizing schedulers for LTL properties)