Bump version number to 3.2.3.

Boolector · Sep 11, 2023 · 0884f3e · 0884f3e
1 parent 66bf751
commit 0884f3e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -10,7 +10,7 @@ cmake_minimum_required(VERSION 3.3)
 #-----------------------------------------------------------------------------#
 
 project(boolector)
-set(VERSION "3.2.2")
+set(VERSION "3.2.3")
 string(TIMESTAMP TIME)
 
 #-----------------------------------------------------------------------------#

diff --git a/NEWS b/NEWS
@@ -1,7 +1,11 @@
-news since 3.2.2
+news since 3.2.3
+
+news for release 3.2.3 since 3.2.2
 --------------------------------------------------------------------------------
 + new API calls
   - boolector_get_value
++ fix printing of constant arrays for get-value
++ build PyPi packages for Python version <=3.12
 
  news for release 3.2.2 since 3.2.1
 --------------------------------------------------------------------------------

diff --git a/pypi/setup.py b/pypi/setup.py
@@ -16,7 +16,7 @@
 
 basedir = os.path.dirname(os.path.abspath(__file__))
 
-version="3.2.2"
+version="3.2.3"
 if os.path.isfile(os.path.join(basedir, "version.txt")):
     with open(os.path.join(basedir, "version.txt")) as fp:
         version = fp.read()