diff --git a/Doxyfile b/Doxyfile index 8f750c35f..a23d248f2 100644 --- a/Doxyfile +++ b/Doxyfile @@ -5,7 +5,7 @@ #--------------------------------------------------------------------------- DOXYFILE_ENCODING = UTF-8 PROJECT_NAME = smack -PROJECT_NUMBER = 2.4.1 +PROJECT_NUMBER = 2.5.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 783e617c5..3aef8c852 100755 --- a/share/smack/reach.py +++ b/share/smack/reach.py @@ -11,7 +11,7 @@ from smackgen import * from smackverify import * -VERSION = '2.4.1' +VERSION = '2.5.0' def reachParser(): diff --git a/share/smack/top.py b/share/smack/top.py index 2c8ce4f68..49ddef237 100755 --- 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.4.1' +VERSION = '2.5.0' def results(args):