diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7b13f803b..efb029b07 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,6 +8,18 @@ The releases of major and minor versions contain an overview of changes since th
 Version 1.0.x
 -------------------
 
+### Version 1.0.2 (2017/5)
+
+- Fix for nested formulae
+- JANI: Explicit engine supports custom model compositions.
+- Storm now overwrites files if asked to write files to a specific location
+- Changes in build process to accomodate for changes in carl. Also, more robust against issues with carl
+- Wellformedness constraints on PMCs:
+    * include constraints from rewards
+    * are in smtlib2
+- USE_POPCNT removed in favor of FORCE_POPCNT. The popcnt instruction is used if available due to march=native, unless portable is set. 
+    Then, using FORCE_POPCNT enables the use of the SSE 4.2 instruction
+
 ### Version 1.0.1 (2017/4)
 
 - Multi-objective model checking support now fully included