preparing 2.7.0

Author: ahmed-irfan

Makefile

@@ -55,8 +55,8 @@ YICES_TOP_DIR=$(shell pwd)
 # doc/yices*.1 man files
 #
 MAJOR = 2
-MINOR = 6
-PATCH_LEVEL = 5
+MINOR = 7
+PATCH_LEVEL = 0
 
 YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
 

doc/manual/manual.tex

@@ -49,7 +49,7 @@
 \date{\today}
 \author{Bruno Dutertre}
 \title{\textbf{Yices Manual\\[0.6em]
-Version 2.6.5}}
+Version 2.7.0}}
 \end{titlepage}
 
 \maketitle

doc/sphinx/source/conf.py

@@ -57,9 +57,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = '2.6'
+version = '2.7'
 # The full version, including alpha/beta/rc tags.
-release = '2.6.5'
+release = '2.7.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
@@ -121,10 +121,10 @@
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
-html_title = "Yices 2.6 Documentation"
+html_title = "Yices 2.7 Documentation"
 
 # A shorter title for the navigation bar.  Default is the same as html_title.
-html_short_title = "Yices 2.6"
+html_short_title = "Yices 2.7"
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.

doc/yices-sat.1

@@ -1,4 +1,4 @@
-.TH YICES-SAT 1 "June 2024" "Yices 2.6.5" "User Commands"
+.TH YICES-SAT 1 "July 2025" "Yices 2.7.0" "User Commands"
 .SH NAME
 yices-sat \- the Yices Sat solver
 .SH SYNOPSIS

doc/yices-smt.1

@@ -1,4 +1,4 @@
-.TH YICES-SMT 1 "June 2024" "Yices 2.6.5" "User Commands"
+.TH YICES-SMT 1 "July 2025" "Yices 2.7.0" "User Commands"
 .SH NAME
 yices-smt \- the Yices SMT solver for the SMT-LIB 1.2 language
 .SH SYNOPSIS

doc/yices-smt2.1

@@ -1,4 +1,4 @@
-.TH YICES-SMT2 1 "June 2024" "Yices 2.6.5" "User Commands"
+.TH YICES-SMT2 1 "July 2025" "Yices 2.7.0" "User Commands"
 .SH NAME
 yices-smt2 \- the Yices SMT solver for the SMT-LIB 2 language
 .SH SYNOPSIS

doc/yices.1

@@ -1,4 +1,4 @@
-.TH YICES 1 "June 2024" "Yices 2.6.5" "User Commands"
+.TH YICES 1 "July 2025" "Yices 2.7.0" "User Commands"
 .SH NAME
 yices \- the Yices SMT solver for the Yices language
 .SH SYNOPSIS

src/include/yices.h

@@ -92,8 +92,8 @@ extern "C" {
  ********************/
 
 #define __YICES_VERSION            2
-#define __YICES_VERSION_MAJOR      6
-#define __YICES_VERSION_PATCHLEVEL 5
+#define __YICES_VERSION_MAJOR      7
+#define __YICES_VERSION_PATCHLEVEL 0
 
 
 /*