Manticore 0.1.3 (#390)

* Manticore 0.1.3

* fix compare URL

CHANGELOG.md

@@ -2,7 +2,26 @@
 
 The format is based on [Keep a Changelog](http://keepachangelog.com/).
 
-## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.2...HEAD)
+## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.3...HEAD)
+
+## 0.1.3 - 2015-07-14
+
+### Added
+
+- Support for Redis as a storage backend, plus an API for user-defined serializers and storage backends
+- "Events" which work as global signals for communication across manticore
+- Support for using Binary Ninja for visualization
+- Executor now provides a global shared context
+- State now provides a local context
+
+### Changed
+
+- Refactored Executor and everything it talks to significantly
+- Some older APIs may be broken or removed by the above refactor (`state.co` is no more, for instance)
+
+### Fixed
+
+- Numerous bugfixes and stability improvements in logging, Windows, x86, Linux
 
 ## 0.1.2 - 2017-06-14
 
@@ -37,4 +56,4 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/).
 
 ## 0.1.0 - 2017-04-24
 
-Initial public release.
+Initial public release.

setup.py

@@ -5,7 +5,7 @@ setup(
     description='Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation.',
     url='https://github.com/trailofbits/manticore',
     author='Trail of Bits',
-    version='0.1.2',
+    version='0.1.3',
     packages=find_packages(),
     install_requires=[
         'capstone>=3.0.5rc2',