Phillip Schanely

Ah. You aren't the first person to be led astray here. I've started with a documentation "fix." Note also issue #22, which is highly related. More than anything else, the...

That's right; the way to tell CrossHair it's safe to run is to attach a contract to it. (at least right now) Discussion #107 is also relevant. An aside: I...

Marko has released PyCharm and Thonny plugins as well. Thank you so much! https://plugins.jetbrains.com/plugin/16266-crosshair-pycharm https://pypi.org/project/thonny-crosshair

Very much an interesting idea. So far, I've mostly only been thinking about selectively pulling in PyPy implementations. See #104 if you haven't noticed it already. That discussion brings up...

Ah - thanks for this! (and thanks for trying out CrossHair!) Tk shouldn't be required to run CrossHair. I'll probably try and get an Arch docker image and see whether...

Ah! Sorry - I was being messy with my language; indeed, I've got [something like that](https://github.com/pschanely/CrossHair/blob/5b4e6c8c730d04bfe358312ff33c22c666d19423/crosshair/libimpl/builtinslib.py#L127). What I mean is that I've found z3 has a lot of trouble reasoning...

Thank you for the bug report! Really, this sort of thing is exactly what I need, so please keep these coming along with any other feedback you can share. Looking...

[This](https://gist.github.com/pschanely/0ad5b3b1320ae5aaa2a72ac384322df8) is vaguely relevant. CrossHair calls your function, your real function, repeatedly. Each iteration explores one path through your code. It supplies to your function values that look like real...

Eh, today that's often the case, but not guaranteed. I think we could make it guaranteed, at the cost of some potential effectiveness. This is where short-circuiting comes in, which...

No worries! In this particular example, we aren't making another function call in the precondition, so I don't think bad things would happen. But it's be easy to invent situations...