Bump version number to 3.2.4.

Boolector · Aug 23, 2024 · 393cdfb · 393cdfb
1 parent e01ab1e
commit 393cdfb
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.3")
+set(VERSION "3.2.4")
 string(TIMESTAMP TIME)
 
 #-----------------------------------------------------------------------------#

diff --git a/NEWS b/NEWS
@@ -1,4 +1,8 @@
-news since 3.2.3
+news for final release 3.2.4
+--------------------------------------------------------------------------------
+This is the final release of Boolector. Active development and maintenance has
+stopped.
+Boolector was succeeded by Bitwuzla (https://github.com/bitwuzla/bitwuzla).
 
 news for release 3.2.3 since 3.2.2
 --------------------------------------------------------------------------------

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.3"
+version="3.2.4"
 if os.path.isfile(os.path.join(basedir, "version.txt")):
     with open(os.path.join(basedir, "version.txt")) as fp:
         version = fp.read()