Phillip Schanely

Also, I've been collecting ideas on safety [here](https://github.com/pschanely/CrossHair/discussions/51).

Yup! Just added. It's a start.

Thanks for this report! I haven't yet attempted to reproduce, but I strongly suspect that this is a Z3 issue. (or possibly CrossHair is using it incorrectly) CrossHair is pinned...

CrossHair is now on the lastest official release of z3; leaving this open for folks to notice and report if they see it in the current version.

A note to self: possibly we should sometimes run `Z3_reset_memory` [as described here](https://github.com/Z3Prover/z3/discussions/4992).

So! I am going to start poking at this myself, starting from [Zac's branch](https://github.com/HypothesisWorks/hypothesis/compare/master...Zac-HD:symex-refactoring). At least in a time-boxed, explorative kind of way. @Zac-HD Any new developments that I should...

Oh right, PyCon is happening! Happy to take a look a float refactoring too if you wanna give me some hints on what needs to be done. At first glance,...

> `floats()` refactoring: instead of having the `floats()` function dispatch to either `FloatsStrategy` or `FixedBoundedFloatsStrategy`, I'd like to do that dispatch (perhaps via memoized helper functions) _inside_ `FloatsStrategy.do_draw()`. #2878 is...

> It needs some cleanup still, but early feedback welcome in [this draft](https://github.com/HypothesisWorks/hypothesis/pull/3327). Float refactoring was merged! Sadly, I've already exhausted my timebox for this round, but there's a decent...

Just a quick +1 for getting `__repr__` working; it would enable symbolic reasoning about repr strings in [CrossHair](https://github.com/pschanely/CrossHair/blob/3908a65c3b568150a77cb54688194c3ca65c562b/crosshair/libimpl/builtinslib.py#L1807).