From 4bb48af199f0cea8d8dce0cd15ed91c9dd7daedb Mon Sep 17 00:00:00 2001 From: JP Smith Date: Fri, 14 Jul 2017 11:56:21 -0400 Subject: [PATCH] Manticore 0.1.3 (#390) * Manticore 0.1.3 * fix compare URL --- CHANGELOG.md | 23 +++++++++++++++++++++-- setup.py | 2 +- 2 files changed, 22 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d202aec..2d90bf7 100644 --- a/CHANGELOG.md +++ b/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. \ No newline at end of file +Initial public release. diff --git a/setup.py b/setup.py index 1591de1..fccd0ca 100644 --- a/setup.py +++ b/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',