Fabian Hauser

@Stig124 there seem to be a few commits on the `dev` branch, are you still working on this or is the issue waiting on contributions?

Thanks for reporting this issue @samuela. Can you give any details under which circumstances/actions the error happened?

> From what I'm hearing, the problem with #66 was that the .zip files can't be properly unzipped. Do we know why this is? Is it possible that, when creating...

Hi @tnelson @camrein is currently implementing the support for Dafny 3.0, you can try the current state in the VSCode Marketplace with the *Dafny (Preview)* extension. It is not yet...

Hi @jorge-jbs With the implementation in this repository, it is currently not easily possible to add another LSP-Client. However, we are currently working on a new Language Server, and I...

(keeping this open until we are there.)

Currently, nobody is actively working on this issue, so feel free to pick it!

Hi @losfair It should be possible to use multiple files with the plugin, but with the current version the verification is limited to a single file. We are working on...

Thanks for reporting this issue @yannickmoy. We are currently working on a major release of the plugin (better integrated to the main dafny project), which should make a clean implementation...

Hi @davidstreader This could be related to `Please use a workspace (File or Folder)` - the current plugin does not work well with single files. Could you try opening the...