Support multiple files in a project

[losfair]

Hi,

I'm trying to use the extension on a Dafny project with multiple files, but it appears that verification is only done on a single file and inter-file dependencies lead to errors.

Did I miss something or Dafny-VSCode doesn't support multiple file workspaces yet? Is it possible to add support for that?

[fabianhauser]

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 a major new release of the plugin and language server to support (among other things) multi-file verification, I assume that we will be able to publish a first version towards the end of the month.