From d74558e0cbb56f9a9f5a1a9e9d9330f4e983466c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 20 Feb 2021 00:29:33 -0800
Subject: [PATCH] changelog update

---
 CHANGELOG.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
 -------------