diff --git a/CHANGELOG.md b/CHANGELOG.md index ca8b60c62..d33caf2d6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -9,7 +9,9 @@ Branch Changes - n-ary predicates like atMostOneOf, ExactlyOneOf added - export to Dice expressions added - +- prism language simulator +- masks +- export state lookup map Version 1.6.x -------------