prepare for 0.5

c-cube · Jun 5, 2023 · 4f07b7a · 4f07b7a
1 parent 4f3ed6a
commit 4f07b7a
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,8 @@
+## 0.5
+
+- format C and OCaml code
+- add `pp_value` and `string_of_value`
+
 ## 0.4
 
 - move to github actions for CI

diff --git a/minisat.opam b/minisat.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.4"
+version: "0.5"
 author: "simon.cruanes.2007@m4x.org"
 maintainer: "simon.cruanes.2007@m4x.org"
 synopsis: "Bindings to Minisat-C-1.14.1, with the solver included"

diff --git a/src/minisat.mli b/src/minisat.mli
@@ -98,10 +98,10 @@ type value =
   | V_false
 
 val string_of_value : value -> string
-(** @since NEXT_RELEASE *)
+(** @since 0.5 *)
 
 val pp_value : value printer
-(** @since NEXT_RELEASE *)
+(** @since 0.5 *)
 
 val value : t -> Lit.t -> value
 (** Returns the assignation of a literal in the solver state.