diff --git a/CHANGELOG.md b/CHANGELOG.md index 2de8e7f05..70d880e56 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,8 @@ Version 1.2.x ------------- ### Version 1.2.2 (to be released) +- `storm-dft`: improvements in Galileo parser +- `storm-dft`: test cases for DFT analysis ### Version 1.2.1 (2018/02) - Multi-dimensional reward bounded reachability properties for DTMCs.