Bumped version number to 2.6.0

smackers · Sep 5, 2020 · 4666d43 · 4666d43
1 parent 923e523
commit 4666d43
Show file tree

Hide file tree

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

diff --git a/share/smack/reach.py b/share/smack/reach.py
@@ -11,7 +11,7 @@
 from smackgen import *
 from smackverify import *
 
-VERSION = '2.5.0'
+VERSION = '2.6.0'
 
 
 def reachParser():

diff --git a/share/smack/top.py b/share/smack/top.py
@@ -13,7 +13,7 @@
 from .replay import replay_error_trace
 from .frontend import link_bc_files, frontends, languages, extra_libs
 
-VERSION = '2.5.0'
+VERSION = '2.6.0'
 
 
 def results(args):