Phillip Schanely

Hmm, ok, my attempt at windows + Python 3.7 + CrossHair 0.0.32 produced a successfully running test case too. That said, I know that over the last few months, we've...

> I think what you write is important for the case that I was trying to work with (the floating point accuracy). Ah, then I will count this as a...

So! CrossHair ships with an LSP server built in! [(docs)](https://crosshair.readthedocs.io/en/latest/ide_integrations.html#integrate-using-the-language-server-protocol) I am not familiar with neovim, but as you say, it also appears to have built-in LSP support. [(docs)](https://neovim.io/doc/user/lsp.html) In...

Thank you for the bug report - I hope to get more! This is a subtly difficult case. It's running afoul of some heuristics CrossHair uses to avoid reporting incorrect...

I poked around just now and got it to work! You just run the `vim.lsp.start` command with `cmd = {'python', '-m', 'crosshair', 'server'}`; e.g.: ``` :lua vim.lsp.start({name = 'ch-lsp', cmd...

Thank you for the detailed reports! I agree with your assessment about what should ideally happen in each case, and I consider the first and last examples to be outright...

So, I've made fixes for examples 1 and 5 in [v0.0.47](https://pypi.org/project/crosshair-tool/0.0.47/). (Example 1 is a non-reproducible counterexample, and example 5 issues an internal error, both of which are always bugs)...

Thanks! 😄 I hope you'll continue to stay in touch; either here in bugs/discussions or send me an email sometime and let me know what's working well and what isn't.

Interesting stuff! I've got a bunch of things to talk about here. I'm travelling right at the moment, but will circle back in a day or two!

CrossHair's current implementation makes surprising choices for representation in Z3. In most cases, I started with the "obvious" choice and later ended up moving towards something dumber (trading more execution...