Dafny-VSCode
Dafny-VSCode copied to clipboard
DafnyVSCode
Dafny 2 for Visual Studio Code (Legacy)
I get the following error message from the Dafny Language Server. ``` key not found [Error - 7:54:41 PM] Request codeLens/resolve failed. Message: Could not resolve CodeLens: Key not Found...
When trying to install extension offline without network, always fails! OUTPUT ============================ { Error: connect ETIMEDOUT 140.82.118.5:443 at TCPConnectWrap.afterConnect [as oncomplete] (net.js:1113:14) errno: 'ETIMEDOUT', code: 'ETIMEDOUT', syscall: 'connect', address: '140.82.118.5',...
Using MS's cascadia code font with ligatures enabled, this extension being enabled appears to influence how the ligatures render in `.dfy` files. e.g. extension disabled vs extension enabled This is...
When I try to "Compile and Run" a Dafny program in VS Code (F5 button), there is an error in the run command. The command that appears in the terminal...
It appears that syntax highlighting for "ensures" uses a different color if the predicate that follows is in parentheses. Here is a screenshot: This behaviour is also observed for "requires",...
Hello, Currently, a user who opens a single file, and not a workspace gets the following warning: "Warn: Please use a workspace (File - Open Folder). Otherwise some features aren't...
The plug-in shows informational messages both in the "Problems" pane and as green underlines in the source text. However, when this information from Dafny has several lines, the actual multi-line...
As I'm working along on a few pretty simple Dafny files in the VS Code extension, I repeatedly get the following error. I am posting here to document the issue,...
If a user changes the settings, the server should be reloaded with the new settings. Currently, this is not the case (see [server.ts](https://github.com/DafnyVSCode/Dafny-VSCode/blob/develop/server/src/server.ts#L172)).
I haven't ascertained all the details, but it's clear that in some cases, error indications (in the form of red squiggly underlines) in the IDE are not being updated properly...