Manticore 0.1.2 (#306)

* Manticore 0.1.2

* Update changelog

CHANGELOG.md

@@ -2,7 +2,28 @@
 
 The format is based on [Keep a Changelog](http://keepachangelog.com/).
 
-## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.0...HEAD)
+## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.2...HEAD)
+
+## 0.1.2 - 2017-06-14
+
+### Added
+
+- Function modeling API (`state.invoke_model`, `manticore.variadic`)
+- `strcmp` and `strlen` models
+- `state.solve_buffer`
+- Additional `state` APIs
+
+### Changed
+
+- Parallel processing API (`m.run(procs)`)
+- `state.solve_n`
+
+### Fixed
+
+- Numerous fixes in Linux, x86, ARM, SMT
+- pip installation no longer requires `--no-binary capstone`
+
+## 0.1.1 - 2017-05-05
 
 ### Added
 - `State.constrain`

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.1',
+    version='0.1.2',
     packages=find_packages(),
     install_requires=[
         'capstone>=3.0.5rc2',