Updated changelog and version

usi-verification-and-security · Nov 1, 2024 · e831bf2 · e831bf2
1 parent 511f8b9
commit e831bf2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git 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
@@ -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.