Dafny-VSCode
Dafny-VSCode copied to clipboard
DafnyVSCode
Dafny 2 for Visual Studio Code (Legacy)
This has happened multiple times, with no apparent cause since it happens as I am modifying code. It has happened with automatic verification onchange and onsave. Note that I have...
Bumps [lodash](https://github.com/lodash/lodash) from 4.17.19 to 4.17.21. Commits f299b52 Bump to v4.17.21 c4847eb Improve performance of toNumber, trim and trimEnd on large input strings 3469357 Prevent command injection through _.template's variable...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.6 to 1.0.7. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...
Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.6 to 1.0.7. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...
Bumps [ajv](https://github.com/ajv-validator/ajv) from 6.10.0 to 6.12.6. Release notes Sourced from ajv's releases. v6.12.6 Fix performance issue of "url" format. v6.12.5 Fix uri scheme validation (@ChALkeR). Fix boolean schemas with strictKeywords...
Bumps [follow-redirects](https://github.com/follow-redirects/follow-redirects) from 1.7.0 to 1.14.8. Commits 3d81dc3 Release version 1.14.8 of the npm package. 62e546a Drop confidential headers across schemes. 2ede36d Release version 1.14.7 of the npm package. 8b347cb...
Bumps [url-parse](https://github.com/unshiftio/url-parse) from 1.4.4 to 1.5.10. Commits 8cd4c6c 1.5.10 ce7a01f [fix] Improve handling of empty port 0071490 [doc] Update JSDoc comment a7044e3 [minor] Use more descriptive variable name d547792 [security]...
Bumps [minimist](https://github.com/substack/minimist) from 1.2.5 to 1.2.6. Commits 7efb22a 1.2.6 ef88b93 security notice for additional prototype pollution issue c2b9819 isConstructorOrProto adapted from PR bc8ecee test from prototype pollution PR See full...
Bumps [qs](https://github.com/ljharb/qs) from 6.5.2 to 6.5.3. Changelog Sourced from qs's changelog. 6.5.3 [Fix] parse: ignore __proto__ keys (#428) [Fix] utils.merge`: avoid a crash with a null target and a truthy...
``` [Error - 4:36:48 PM] Request textDocument/codeLens failed. Error: Connection got disposed. at Object.dispose (/Users/skainswo/.vscode-insiders/extensions/correctnesslab.dafny-vscode-0.16.0/node_modules/vscode-jsonrpc/lib/main.js:825:25) at Object.dispose (/Users/skainswo/.vscode-insiders/extensions/correctnesslab.dafny-vscode-0.16.0/node_modules/vscode-languageclient/lib/client.js:57:35) at DafnyLanguageClient.handleConnectionClosed (/Users/skainswo/.vscode-insiders/extensions/correctnesslab.dafny-vscode-0.16.0/node_modules/vscode-languageclient/lib/client.js:1864:38) at DafnyLanguageClient.handleConnectionClosed (/Users/skainswo/.vscode-insiders/extensions/correctnesslab.dafny-vscode-0.16.0/node_modules/vscode-languageclient/lib/main.js:106:15) at closeHandler (/Users/skainswo/.vscode-insiders/extensions/correctnesslab.dafny-vscode-0.16.0/node_modules/vscode-languageclient/lib/client.js:1852:18) at CallbackList.invoke (/Users/skainswo/.vscode-insiders/extensions/correctnesslab.dafny-vscode-0.16.0/node_modules/vscode-jsonrpc/lib/events.js:71:39)...
