Bumped release version to 1.5.1.

Makefile.common.in

@@ -1,6 +1,6 @@
 # Set the name of the project here
 PROJECT_NAME := smack
-PROJ_VERSION := 1.5.0
+PROJ_VERSION := 1.5.1
 
 # Set this variable to the top of the LLVM source tree.
 LLVM_SRC_ROOT = @LLVM_SRC@

Makefile.llvm.config.in

@@ -59,7 +59,7 @@ PROJ_SRC_DIR := $(call realpath, $(PROJ_SRC_ROOT)/$(patsubst $(PROJ_OBJ_ROOT)%,%
 prefix          := $(PROJ_INSTALL_ROOT)
 PROJ_prefix     := $(prefix)
 ifndef PROJ_VERSION
-PROJ_VERSION := 1.5.0
+PROJ_VERSION := 1.5.1
 endif
 
 PROJ_bindir     := $(PROJ_prefix)/bin

autoconf/configure.ac

@@ -1,7 +1,7 @@
 dnl **************************************************************************
 dnl * Initialize
 dnl **************************************************************************
-AC_INIT([[SMACK]],[[1.5.0]],[[email protected]],[smack],[http://github.com/smackers/smack])
+AC_INIT([[SMACK]],[[1.5.1]],[[email protected]],[smack],[http://github.com/smackers/smack])
 
 dnl Identify where LLVM source tree is
 LLVM_SRC_ROOT="../.."

bin/llvm2bpl.py

@@ -10,7 +10,7 @@
 import io
 import platform
 
-VERSION = '1.5.0'
+VERSION = '1.5.1'
 
 
 def is_valid_file(parser, arg):

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.5.0
+VERSION=1.5.1
 PACKAGE=smack-$VERSION-64
 
 # Create folder to export

bin/smackgen.py

@@ -10,7 +10,7 @@
 import platform
 from llvm2bpl import *
 
-VERSION = '1.5.0'
+VERSION = '1.5.1'
 
 
 def smackParser():

bin/smackreach.py

@@ -11,7 +11,7 @@
 from smackgen import *
 from smackverify import *
 
-VERSION = '1.5.0'
+VERSION = '1.5.1'
 
 def reachParser():
     parser = argparse.ArgumentParser(add_help=False, parents=[verifyParser()])

bin/smackverify.py

@@ -12,7 +12,7 @@
 import platform
 from smackgen import *
 
-VERSION = '1.5.0'
+VERSION = '1.5.1'
 
 def verifyParser():
   # parse command line arguments

configure

@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.68 for SMACK 1.5.0.
+# Generated by GNU Autoconf 2.68 for SMACK 1.5.1.
 #
 # Report bugs to <[email protected]>.
 #
@@ -560,8 +560,8 @@ MAKEFLAGS=
 # Identity of this package.
 PACKAGE_NAME='SMACK'
 PACKAGE_TARNAME='smack'
-PACKAGE_VERSION='1.5.0'
-PACKAGE_STRING='SMACK 1.5.0'
+PACKAGE_VERSION='1.5.1'
+PACKAGE_STRING='SMACK 1.5.1'
 PACKAGE_BUGREPORT='[email protected]'
 PACKAGE_URL='http://github.com/smackers/smack'
 
@@ -1391,7 +1391,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures SMACK 1.5.0 to adapt to many kinds of systems.
+\`configure' configures SMACK 1.5.1 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1457,7 +1457,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of SMACK 1.5.0:";;
+     short | recursive ) echo "Configuration of SMACK 1.5.1:";;
    esac
   cat <<\_ACEOF
 
@@ -1612,7 +1612,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-SMACK configure 1.5.0
+SMACK configure 1.5.1
 generated by GNU Autoconf 2.68
 
 Copyright (C) 2010 Free Software Foundation, Inc.
@@ -2161,7 +2161,7 @@ cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by SMACK $as_me 1.5.0, which was
+It was created by SMACK $as_me 1.5.1, which was
 generated by GNU Autoconf 2.68.  Invocation command line was
 
   $ $0 $@
@@ -13692,7 +13692,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by SMACK $as_me 1.5.0, which was
+This file was extended by SMACK $as_me 1.5.1, which was
 generated by GNU Autoconf 2.68.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -13750,7 +13750,7 @@ _ACEOF
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
 ac_cs_version="\\
-SMACK config.status 1.5.0
+SMACK config.status 1.5.1
 configured by $0, generated by GNU Autoconf 2.68,
   with options \\"\$ac_cs_config\\"