Bumped version number to 1.4.0.

Author: smack

Makefile.common.in

@@ -1,6 +1,6 @@
 # Set the name of the project here
 PROJECT_NAME := smack
-PROJ_VERSION := 1.3.1
+PROJ_VERSION := 1.4.0
 
 # 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.3.1
+PROJ_VERSION := 1.4.0
 endif
 
 PROJ_bindir     := $(PROJ_prefix)/bin

bin/llvm2bpl.py

@@ -7,7 +7,7 @@
 import io
 import platform
 
-VERSION = '1.3.1'
+VERSION = '1.4.0'
 
 
 def is_valid_file(parser, arg):

bin/smack-verify.py

@@ -8,7 +8,7 @@
 import platform
 from smackgen import *
 
-VERSION = '1.3.1'
+VERSION = '1.4.0'
 
 
 def generateSourceErrorTrace(boogieOutput, bpl):

bin/smackgen.py

@@ -7,7 +7,7 @@
 import platform
 from llvm2bpl import *
 
-VERSION = '1.3.1'
+VERSION = '1.4.0'
 
 
 def smackParser():