From e6f1c573c474f318e489d2f72408239c4684bbb8 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sat, 2 May 2020 20:48:34 -0700 Subject: [PATCH] recent changes added --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 51a33bc11..1be3fba38 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,7 +10,9 @@ Version 1.5.x ## Version 1.5.x (Under development) - Scheduler export: Properly handle models with end components. Added export in .json format. - CMake: Search for Gurobi prefers new versions +- CMake: We no longer ship xerces-c. If xerces-c is not found on the system, storm-gspn will not be able to parse xml-based GSPN formats - Tests: Enabled tests for permissive schedulers +- `storm-counterexamples`: fix when computing multiple counterexamples in debug mode - `storm-dft`: Renamed setting `--show-dft-stats` to `dft-statistics` and added approximation information to statistics. ## Version 1.5.1 (2020/03)