Bumped version number to 1.7.1

smackers · Dec 18, 2016 · 860fdce · 860fdce
1 parent 0a06a9e
commit 860fdce
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/Doxyfile b/Doxyfile
@@ -5,7 +5,7 @@
 #---------------------------------------------------------------------------
 DOXYFILE_ENCODING      = UTF-8
 PROJECT_NAME           = smack
-PROJECT_NUMBER         = 1.7.0
+PROJECT_NUMBER         = 1.7.1
 PROJECT_BRIEF          = "A bounded software verifier."
 PROJECT_LOGO           =
 OUTPUT_DIRECTORY       = docs

diff --git a/bin/package-smack.sh b/bin/package-smack.sh
@@ -6,7 +6,7 @@
 # Note: this script requires CDE to be downloaded from
 # http://www.pgbovine.net/cde.html
 
-VERSION=1.7.0
+VERSION=1.7.1
 PACKAGE=smack-$VERSION-64
 
 # Create folder to export

diff --git a/share/smack/reach.py b/share/smack/reach.py
@@ -11,7 +11,7 @@
 from smackgen import *
 from smackverify import *
 
-VERSION = '1.7.0'
+VERSION = '1.7.1'
 
 def reachParser():
     parser = argparse.ArgumentParser(add_help=False, parents=[verifyParser()])

diff --git a/share/smack/top.py b/share/smack/top.py
@@ -14,7 +14,7 @@
 from svcomp.utils import svcomp_frontend
 from svcomp.utils import verify_bpl_svcomp
 
-VERSION = '1.7.0'
+VERSION = '1.7.1'
 temporary_files = []
 
 def frontends():

diff --git a/svcomp/bench/src/benchexec/benchexec/tools/smack_benchexec_driver.py b/svcomp/bench/src/benchexec/benchexec/tools/smack_benchexec_driver.py
@@ -35,7 +35,7 @@ def version(self, executable):
         Sets the version number for SMACK, which gets displayed in the "Tool" row
         in BenchExec table headers.
         """
-        return '1.7.0'
+        return '1.7.1'
 
     def name(self):
         """