0.6

Large release with several new features:

• better generation of functions, with proper printing and shrinking
• find_example to leverage generators to produce values satisfying a predicate
• colorful runners, so that results are easier to read
• better shrinkers and random generators
• gathering basic statistics and optionally displaying an histogram of sampled values

many thanks to @Gbury and @jmid for their help.

0.5.3

Incremental improvements to the generators (including the new small_list), to the documentation (more examples in the readme), and to the runners.

0.5.2 improvement and fixes for 0.5.1

Main fix is to make small_int back to its original behavior, introduce small_nat for small positive integers instead. This matters because small_int would often be used as the size generator of random collections.
This release also contains other bugfixes and the notion of long tests.

0.5.1

Bugfix release, with a few more functions for uniformity.