diff --git a/CHANGELOG.md b/CHANGELOG.md
index a09d71b..469c3d7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Change Log
 
+## 0.4
+
+- quantification on datatypes/bool
+
+- remove limited checking of models
+- some bugfixes and regression tests
+
 ## 0.3.1
 
 - compatibility with containers 1.0
diff --git a/opam b/opam
index 4ef8059..6bcac01 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-version: "0.3.1"
+version: "0.4"
 maintainer: "simon.cruanes@inria.fr"
 author: "Simon Cruanes"
 homepage: "https://github.com/c-cube/smbc"