From acdbaddb6720743b45066a19b0dfd121e9810e07 Mon Sep 17 00:00:00 2001 From: Armin Biere Date: Thu, 22 Jun 2023 19:34:57 +0200 Subject: [PATCH] updated version after fix --- NEWS.md | 11 +++++++---- VERSION | 2 +- src/version.cpp | 2 +- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/NEWS.md b/NEWS.md index df958dec..7cc98d83 100644 --- a/NEWS.md +++ b/NEWS.md @@ -1,12 +1,15 @@ -Version 1.5.5 +Version 1.5.6 ------------- - - Implementing OTFS during conflict analysis (--otfs) + - Clang formatted all source code (and fixed one failing regression + test by disabling 'otfs' for it). - - The last literal set by vivification is instantiated (--vivifyinst) + - Implementing OTFS during conflict analysis (--otfs). + + - The last literal set by vivification is instantiated (--vivifyinst). - more accurate tracking of binary clauses in watch lists by updating - the size in watch lists + the size in watch lists. Version 1.5.4 ------------- diff --git a/VERSION b/VERSION index de41a56c..eac1e0ad 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -1.5.6-rc.1 +1.5.6 diff --git a/src/version.cpp b/src/version.cpp index 2358289e..dc7cbc2b 100644 --- a/src/version.cpp +++ b/src/version.cpp @@ -24,7 +24,7 @@ #ifdef NBUILD #ifndef VERSION -#define VERSION "1.5.6-rc.1" +#define VERSION "1.5.6" #endif // VERSION #endif // NBUILD