* Make verification runs time bounded with a configurable timeout
0.1.3
Not secure
------------------
* Bugfix: Stateful testing behaved incorrectly with subclassing. * Complex number support * support for recursive strategies * different error for hypotheses with unsatisfiable assumptions
0.1.2
Not secure
------------------
* Bugfix: Stateful testing was not minimizing correctly and could throw exceptions. * Better support for recursive strategies. * Support for named tuples. * Much faster integer generation.
0.1.1
Not secure
------------------
* Python 3.x support via 2to3. * Use new style classes (oops).
0.1.0
Not secure
------------------
* Introduce stateful testing. * Massive rewrite of internals to add flags and strategies.