prepare for 0.4

c-cube · Aug 21, 2017 · f1f253d · f1f253d
1 parent 18e1219
commit f1f253d
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git 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
@@ -1,5 +1,5 @@
 opam-version: "1.2"
-version: "0.3.1"
+version: "0.4"
 maintainer: "[email protected]"
 author: "Simon Cruanes"
 homepage: "https://github.com/c-cube/smbc"