Merge branch 'release-2.4.0' into develop

Author: zvonimir

Doxyfile

@@ -5,7 +5,7 @@
 #---------------------------------------------------------------------------
 DOXYFILE_ENCODING      = UTF-8
 PROJECT_NAME           = smack
-PROJECT_NUMBER         = 2.3.0
+PROJECT_NUMBER         = 2.4.0
 PROJECT_BRIEF          = "A bounded software verifier."
 PROJECT_LOGO           =
 OUTPUT_DIRECTORY       = docs

share/smack/reach.py

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

share/smack/top.py

@@ -15,7 +15,7 @@
 from replay import replay_error_trace
 from frontend import link_bc_files, frontends, languages, extra_libs 
 
-VERSION = '2.3.0'
+VERSION = '2.4.0'
 
 def results(args):
   """A dictionary of the result output messages."""