From 6832fc805c2d1a7ea4f0e9b2b6478a7024ab0deb Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sat, 14 Oct 2017 15:17:38 +0200 Subject: [PATCH] parser improvements in changelog --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9fafa9849..4005ca0e1 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -18,6 +18,7 @@ Version 1.1.x - storm-pars: support for welldefinedness constraints in mdps. - symbolic (MT/BDD) bisimulation - Fixed issue related to variable names that can not be used in Exprtk. +- DRN parser improved ### Version 1.1.0 (2017/8)