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)