diff --git a/CMakeLists.txt b/CMakeLists.txt
index 383e2fed1..d3d15881a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,8 +1,8 @@
 cmake_minimum_required(VERSION 3.14)
 
 set(OPENSMT_VERSION_MAJOR 2)
-set(OPENSMT_VERSION_MINOR 7)
-set(OPENSMT_VERSION_PATCH 1)
+set(OPENSMT_VERSION_MINOR 8)
+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
index 5b738f071..52606882a 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -3,9 +3,11 @@
 API changes:
  - Enclosed the whole project into `opensmt` namespace.
  - Using also directory names when including files.
+ - Adapted parts of the API of `MainSolver` to the SMT-LIB 2.6 terminology that uses "assertion stack".
 
 Bug fixes:
  - Named terms: do not report error when re-introducing a named term with an already popped name.
+ - Do not reverse the arguments of XOR terms.
 
 New features:
  - Support ":minimal-unsat-cores" option - naive implementation of subset-minimal unsat cores.