Hypothesis for Python - version 6.118.7

This patch removes some "# type: ignore" comments following a mypy
update.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.6

When Hypothesis replays examples from its test database that it knows
were previously fully shrunk it will no longer try to shrink them
again.

This should significantly speed up development workflows for slow
tests, as the shrinking could contribute a significant delay when
rerunning the tests.

In some rare cases this may cause minor reductions in example quality.
This was considered an acceptable tradeoff for the improved test
runtime.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.5

This patch avoids computing some string representations we won't need,
giving a small speedup (part of issue #4139).

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.4

This patch migrates the optimisation algorithm for targeted property-
based testing to our IR layer (issue #3921). This should result in
moderately different (and hopefully improved) exploration behavior in
tests which use "hypothesis.target()".

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.3

This patch adds more type hints to internal Hypothesis code.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.2

This patch migrates the "explain" phase to our IR layer (issue #3921).
This should improve both its speed and precision.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.1

This patch updates some internals around how we determine an input is
too large to finish generating.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.118.0

The "urls()" strategy no longer generates URLs where the port number
is 0.

This change is motivated by the idea that the generated URLs should,
at least in theory, be possible to fetch. The port number 0 is
special; if a server binds to port 0, the kernel will allocate an
unused, and non-zero, port instead. That means that it's not possible
for a server to actually be listening on port 0. This motivation is
briefly described in the documentation for "urls()".

Fixes issue #4157.

Thanks to @gmacon for this contribution!

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.117.0

This changes the behaviour of settings profiles so that if you
reregister the currently loaded profile it will automatically reload
it. Previously you would have had to load it again.

In particular this means that if you register a "ci" profile, it will
automatically be used when Hypothesis detects you are running on CI.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.116.0

Hypothesis now detects if it is running on a CI server and provides
better default settings for running on CI in this case.

The canonical version of these notes (with links) is on readthedocs.