Phillip Schanely

> @pschanely huge progress from recent updates! The `BackendCannotProceed` mechanism entirely fixed several classes of issues, the floats changes have been great (signed zero ftw!), `from_type()` generates instances more often,...

> For clarity, "blocking" would mean 'when we update our pinned dependencies, if Crosshair has changed we'll update the xfail markers accordingly and report any issues upstream, or maybe add...

@Zac-HD I've been looking into getting this rebased against master, and I think there are at least some mainline changes that are affecting the tests. I am able to do...

Ah, yes, as of recently, CrossHair attempts true floating point semantics. That's good, but it's made this example take longer. I'll update the example soon. (or maybe tweak the heuristics)...

Update: I am delaying a documentation fix for this slightly, under the hope that one of my unrelated arcs of work makes it not necessary. 😄

As of 0.0.74, there is (incomplete) support for making weakrefs be universally missing. You can check [these weakref tests](https://github.com/pschanely/CrossHair/blob/main/crosshair/libimpl/weakreflib_test.py) for up-to-date information on our level of support.

The is very neat stuff. I noticed when trying out pyodide+CrossHair that I'm seeing immediate unsats with a reason of "unclassified exception" when attempting to apply a `TryFor` tactic; here...

Oooh. That would be fun. Just starting to look at this stuff. [cibuildwheel](https://cibuildwheel.pypa.io/en/stable/) suggests that pyodide is supported in 3.12, but that PyPI doesn't yet support it. So does "publish"...

I'll take a look today! You'd be ok with any publicly-accessible URL for the wheel I presume?

Made progress today. Looks like I'll need to relax my z3 version constraint and try again, but I'm close. I suppose if all this works, I should re-do https://crosshair-web.org too.