Liam DeVoe

Handle replay frames with negative time delta appropriately

12

*Note: everything below is conjecture. Someone with access to stable source should confirm. However, I have empirical evidence in support of this (read: I ran a bunch of replays through...

Migrate our core representation to an IR layer

16

This epic-style issue tracks our work on refactoring Hypothesis to use an IR layer in our engine. ## Motivation So far, most things in Hypothesis have been built to work...

We just migrated the shrinker to the IR in #3962, as a part of #3921. While this was a performance win overall, we took some temporary regressions and left notes...

This probably doesn't matter too much, but saves a few cycles not running the explain phase in tests.

While investigating https://github.com/HypothesisWorks/hypothesis/issues/4014, we improved on some performance hits we took during the IR migration (#3921). A remaining holdout is computing `_mutator_groups`, accounting for 15% of runtime in https://github.com/HypothesisWorks/hypothesis/issues/4014#issuecomment-2257127814, in...

```python from hypothesis import * from hypothesis import strategies as st class A: @given(st.integers()) def f(self, n): pass a = A() a.f() # works a.f.hypothesis.fuzz_one_input(b"\x01") # fails with `TypeError: missing...

Add more internal type hints

5

Largely focused on non-conjecture this time. There are some source changes here as I tightened things up while typing, like no longer passing length-one strings or `None` to `as_general_categories`.