manticore 0.2.1.1 (#1116)

trailofbits · Sep 1, 2018 · 41bad1e · 41bad1e
1 parent 70817fb
commit 41bad1e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,9 +2,9 @@
 
 The format is based on [Keep a Changelog](http://keepachangelog.com/).
 
-## [Unreleased](https://github.com/trailofbits/manticore/compare/0.2.1-b...HEAD)
+## [Unreleased](https://github.com/trailofbits/manticore/compare/0.2.1.1...HEAD)
 
-## 0.2.1-b - 2018-09-01
+## 0.2.1.1 - 2018-09-01
 
 In this release, the codebase has been relicensed under the AGPLv3 license.
 Please [contact us](opensource@trailofbits.com) if you're looking for an exception to these terms!

diff --git a/manticore/__main__.py b/manticore/__main__.py
@@ -62,7 +62,7 @@ def positive(value):
     parser.add_argument('--workspace', type=str, default=None,
                         help=("A folder name for temporaries and results."
                               "(default mcore_?????)"))
-    parser.add_argument('--version', action='version', version='Manticore 0.2.1-b',
+    parser.add_argument('--version', action='version', version='Manticore 0.2.1.1',
                         help='Show program version information')
     parser.add_argument('--txlimit', type=positive,
                         help='Maximum number of symbolic transactions to run (positive integer) (Ethereum only)')

diff --git a/setup.py b/setup.py
@@ -17,7 +17,7 @@ def rtd_dependent_deps():
     description='Manticore is a symbolic execution tool for analysis of binaries and smart contracts.',
     url='https://github.com/trailofbits/manticore',
     author='Trail of Bits',
-    version='0.2.1-b',
+    version='0.2.1.1',
     packages=find_packages(),
     python_requires='>=3.6',
     install_requires=[