Tim Hutt

Oh I should say this is on RHEL 8.

Yep I get ``` Language server: {"command":"/usr/bin/dotnet","args":["/home/.../.vscode/extensions/dafny-lang.ide-vscode-3.2.2/out/resources/4.4.0/github/dafny/Dafny.dll","server","--verify-on:Change","--verification-time-limit:20","--cache-verification=0","--cores:7","--notify-ghostness:true","--notify-line-verification-status:true"]} Dafny is ready ``` If I run that command it just sits there with a blinking cursor (maybe that's correct) ``` ❯ /usr/bin/dotnet...

Thanks! Adding `--solver-path=/usr/bin/z3` worked perfectly and adding it in the Language Server Launch Args also worked. Perhaps z3 could be compiled on an older version of Linux. It's pretty much...

FYI it seems to be broken again. It links to https://github.com/cucapra/filament/tree/main/frisc

> I'd personally prefer to not accept both serde-codegen and serde_codegen as it can be confusing to see two different values which mean the same thing in practice from time...

Here's what I would do (if I had infinite time etc.). Maybe some of these have been done already - I'm not sure. 1. Add a warning to Cargo for...

It just needs review. I've been using it fine for a while. In the mean time you can use my fork like this: ``` - name: Set up MacOS Cross...

Thanks to @jrtc27 for pointing out this distinction. I accept all criticism for the use of "progenitor". :-D

Interesting. Surely there's a way to do this without polling? Also btw @ranweiler you can slightly simplify the `loop` that does the poll because in Rust loops can return values.