bump version

SRI-CSL · Jun 24, 2024 · edc0d01 · edc0d01
1 parent df2b7da
commit edc0d01
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 12 deletions.
diff --git a/Makefile b/Makefile
@@ -56,7 +56,7 @@ YICES_TOP_DIR=$(shell pwd)
 #
 MAJOR = 2
 MINOR = 6
-PATCH_LEVEL = 4
+PATCH_LEVEL = 5
 
 YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
 

diff --git a/doc/manual/manual.tex b/doc/manual/manual.tex
@@ -49,7 +49,7 @@
 \date{\today}
 \author{Bruno Dutertre}
 \title{\textbf{Yices Manual\\[0.6em]
-Version 2.6.4}}
+Version 2.6.5}}
 \end{titlepage}
 
 \maketitle
@@ -811,10 +811,6 @@ \section{Thread-Safe API}
 models across several threads is not supported (unless you implement
 your own locking mechanism).
 
-\medskip\noindent
-In the current version (Yices~2.6.4), threat-safety and MCSAT are not compatible.
-It is not possible to build Yices to support MCSAT and be re-entrant.
-
 
 \section{Building for Windows}
 

diff --git a/doc/sphinx/source/conf.py b/doc/sphinx/source/conf.py
@@ -59,7 +59,7 @@
 # The short X.Y version.
 version = '2.6'
 # The full version, including alpha/beta/rc tags.
-release = '2.6.2'
+release = '2.6.5'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

diff --git a/doc/yices-sat.1 b/doc/yices-sat.1
@@ -1,4 +1,4 @@
-.TH YICES-SAT 1 "October 2021" "Yices 2.6.4" "User Commands"
+.TH YICES-SAT 1 "June 2024" "Yices 2.6.5" "User Commands"
 .SH NAME
 yices-sat \- the Yices Sat solver
 .SH SYNOPSIS

diff --git a/doc/yices-smt.1 b/doc/yices-smt.1
@@ -1,4 +1,4 @@
-.TH YICES-SMT 1 "October 2021" "Yices 2.6.4" "User Commands"
+.TH YICES-SMT 1 "June 2024" "Yices 2.6.5" "User Commands"
 .SH NAME
 yices-smt \- the Yices SMT solver for the SMT-LIB 1.2 language
 .SH SYNOPSIS

diff --git a/doc/yices-smt2.1 b/doc/yices-smt2.1
@@ -1,4 +1,4 @@
-.TH YICES-SMT2 1 "October 2021" "Yices 2.6.4" "User Commands"
+.TH YICES-SMT2 1 "June 2024" "Yices 2.6.5" "User Commands"
 .SH NAME
 yices-smt2 \- the Yices SMT solver for the SMT-LIB 2 language
 .SH SYNOPSIS

diff --git a/doc/yices.1 b/doc/yices.1
@@ -1,4 +1,4 @@
-.TH YICES 1 "October 2021" "Yices 2.6.4" "User Commands"
+.TH YICES 1 "June 2024" "Yices 2.6.5" "User Commands"
 .SH NAME
 yices \- the Yices SMT solver for the Yices language
 .SH SYNOPSIS

diff --git a/src/include/yices.h b/src/include/yices.h
@@ -93,7 +93,7 @@ extern "C" {
 
 #define __YICES_VERSION            2
 #define __YICES_VERSION_MAJOR      6
-#define __YICES_VERSION_PATCHLEVEL 4
+#define __YICES_VERSION_PATCHLEVEL 5
 
 
 /*