From 393cdfba3735d334bb4e6525500b8a0280dd41e6 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Fri, 23 Aug 2024 14:28:52 -0700 Subject: [PATCH] Bump version number to 3.2.4. --- CMakeLists.txt | 2 +- NEWS | 6 +++++- pypi/setup.py | 2 +- 3 files changed, 7 insertions(+), 3 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 532c08e30..a9a704c3d 100644 --- 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 index ecdc3d4c8..44edea51c 100644 --- 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 index 723dacb7a..d0a4785da 100644 --- 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()