Dafny-VSCode
Dafny-VSCode copied to clipboard
DafnyVSCode
Dafny 2 for Visual Studio Code (Legacy)
As part of #66 , @kailingP added 2d7fc93b80137cc431f93eb812165a878a28fed3 which pins the downloaded Dafny version to 2.3.0. This should be reverted as soon as Dafny 3.0.0 is stable.
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...
I would like to have Dafny support in an editor that supports the LSP (Kakoune). The language server that is developed here seems to only work under VS Code. How...
at VSCode startup `DafnyServer process quit unexpectedly; attempting restart`. after some seconds it says `DafnyServer restart succeeded` but it actually does not work and verifies everything by `proof obligations:0`. F5...
Currently, the latest version of the Dafny Server is installed by this plugin. In case there is a new version of the Dafny Server, the user is prompted to perform...
Hi with the code below ``` function method palin(a:seq) :bool { forall i:int :: (0
Per request from @RustanLeino, I am creating this issue in this repo. The dafny-lang/dafny repo received the following issue: https://github.com/dafny-lang/dafny/issues/415 Upon investigation, it appears the submitted code times out on...
Hi Running Macos 10.14.6. Loaded VSCode and Dafny all worked well for some hours. Next day restarted VSCode and opened Dafny file. but server not found so I went to...
As a help to understanding/debugging problems with VSCode or Dafny, VSCode should make visible (1) the version of the Dafny executable being run and (2) the output that dafny produces...
On the code below, Dafny extension for VSCode proposes a fix to insert the decreases es,unit on method OptimizeAndFilter, but it inserts it between List and instead of after List....
