From 327a32c91bd3ad5d75815be9733f728df00c7f1c Mon Sep 17 00:00:00 2001
From: Zvonimir <zvonimir@cs.utah.edu>
Date: Fri, 2 Aug 2019 11:22:05 -0600
Subject: [PATCH] Bumped version number to 2.3.0

---
 Doxyfile             | 2 +-
 share/smack/reach.py | 2 +-
 share/smack/top.py   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Doxyfile b/Doxyfile
index 67c0f7512..e8bdaf2d8 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -5,7 +5,7 @@
 #---------------------------------------------------------------------------
 DOXYFILE_ENCODING      = UTF-8
 PROJECT_NAME           = smack
-PROJECT_NUMBER         = 2.2.0
+PROJECT_NUMBER         = 2.3.0
 PROJECT_BRIEF          = "A bounded software verifier."
 PROJECT_LOGO           =
 OUTPUT_DIRECTORY       = docs
diff --git a/share/smack/reach.py b/share/smack/reach.py
index 7e491684d..e094b1a7b 100755
--- a/share/smack/reach.py
+++ b/share/smack/reach.py
@@ -11,7 +11,7 @@
 from smackgen import *
 from smackverify import *
 
-VERSION = '2.2.0'
+VERSION = '2.3.0'
 
 def reachParser():
     parser = argparse.ArgumentParser(add_help=False, parents=[verifyParser()])
diff --git a/share/smack/top.py b/share/smack/top.py
index a161d6a33..04ebc5d9a 100755
--- a/share/smack/top.py
+++ b/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.2.0'
+VERSION = '2.3.0'
 
 def results(args):
   """A dictionary of the result output messages."""