Prusti server stopped working

[cdstanford]

Hi,

I'm getting a persistent error when trying to install Prusti. Posting here just in case it is useful to the development!

Prusti server stopped working. If the issue persists, please open a bug report or contact us on the Zulip chat. See the server logs for more details.

Thanks!
Caleb Stanford

[cdstanford]

Oops, I think this is probably a duplicate of #1193, #1373, and
viperproject/prusti-assistant#191
I just saw that ARM Macs (M1/M2/M3) are not yet supported.

Feel free to close, or if it would be helpful to have a PR to update the README to say M1/M2/M3 are not supported, let me know. Thanks!