prepare for 0.5

c-cube · Apr 16, 2024 · 93dfede · 93dfede
1 parent 2040a5a
commit 93dfede
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
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"]