prepare for 0.5

c-cube · c-cube · commit 93dfede0b928 · 2024-04-15T23:46:19.000-04:00
diff --git a/CHANGES.md b/CHANGES.md
@@ -0,0 +1,11 @@
+
+# 0.5
+
+- added bitvector support
+- added support for declare-datatype
+
+# 0.4
+
+- remove dep on `result`
+- compat with more modern menhir
+- move to github actions
diff --git a/dune-project b/dune-project
@@ -3,7 +3,7 @@
 (generate_opam_files true)
 
 (name smtlib-utils)
-(version 0.4)
+(version 0.5)
 
 (maintainers "simon.cruanes.2007@m4x.org")
 (authors "Simon Cruanes")
diff --git a/smtlib-utils.opam b/smtlib-utils.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.4"
+version: "0.5"
 synopsis: "Parser for SMTLIB2"
 maintainer: ["simon.cruanes.2007@m4x.org"]
 authors: ["Simon Cruanes"]
