Update version to 2.7.0

usi-verification-and-security · May 29, 2024 · e4e6a65 · e4e6a65
1 parent 4d004c7
commit e4e6a65
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -5,8 +5,8 @@ cmake_policy(SET CMP0074 NEW)
 endif()
 
 set(OPENSMT_VERSION_MAJOR 2)
-set(OPENSMT_VERSION_MINOR 6)
-set(OPENSMT_VERSION_PATCH 1)
+set(OPENSMT_VERSION_MINOR 7)
+set(OPENSMT_VERSION_PATCH 0)
 set(OPENSMT_VERSION ${OPENSMT_VERSION_MAJOR}.${OPENSMT_VERSION_MINOR}.${OPENSMT_VERSION_PATCH})
 project(opensmt VERSION ${OPENSMT_VERSION} LANGUAGES CXX)
 

diff --git a/Changelog.md b/Changelog.md
@@ -1,4 +1,4 @@
-### 2.6.1 (unreleased)
+### 2.7.0 (unreleased)
 
 Bug fixes:
  - Fix unsoundness in incremental solving involving theory combination (introduced in 2.6.0).