Skip to content

Issues: dafny-lang/ide-vscode

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

70 Open 158 Closed
70 Open 158 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Provide a schema for Dafny project files enhancement New feature or request
#474 opened May 7, 2024 by keyboardDrummer
Display keywords as Unicode mathematical symbols enhancement New feature or request
#464 opened Mar 15, 2024 by alex-chew
1
Verification issue
#462 opened Feb 22, 2024 by Yassarab
Easy button to generate a stability report
#461 opened Feb 16, 2024 by seebees
1
Some way to hide non-generating code enhancement New feature or request
#459 opened Feb 12, 2024 by ajewellamz
1
Verification issue
#458 opened Feb 5, 2024 by Laurence-Hallo
IDE may be loading Std library twice
#456 opened Dec 10, 2023 by markrtuttle
1
Verification issue
#455 opened Dec 9, 2023 by isabelladstephens
Dafny VS code Extension 3.2.1 dosen't work on M1 Mac
#449 opened Nov 21, 2023 by FZhg
2
When closing a project, diagnostics and verification 'tests' for that project may not be removed.
#434 opened Sep 11, 2023 by keyboardDrummer
Verification does not recover from parsing failure
#429 opened Sep 5, 2023 by tchajed
2
IDE shows surprising (none) URL in error messages bug Something isn't working
#427 opened Sep 1, 2023 by keyboardDrummer
"Running tests" can be displayed together with "Resolving..." bug Something isn't working
#425 opened Aug 29, 2023 by keyboardDrummer
Cancellation of verification does not create any immediate response bug Something isn't working enhancement New feature or request
#424 opened Aug 29, 2023 by keyboardDrummer
Cannot disable downloading precompiled Dafny
#422 opened Aug 22, 2023 by tchajed
1
6
Integrate with the VSCode tasks API to provide easy ways to run/build/verify/test a Dafny project enhancement New feature or request
#418 opened Aug 10, 2023 by keyboardDrummer
Enable the verification status bar and verification panel to show the status of all files in a project enhancement New feature or request
#413 opened Jul 17, 2023 by keyboardDrummer
@keyboardDrummer
find by batch # on IDE
#408 opened Jul 11, 2023 by josecorella
1
reveal non-opaque (transparent) function.
#405 opened Jul 9, 2023 by kjx
Setting Text for "Dafny: Language Server Launch Args" is misleading
#404 opened Jul 9, 2023 by kjx
1
--relax-definite-assignment is not used in language server
#395 opened Jun 8, 2023 by davidcok
@MikaelMayer
Verification resource use accumulates on re-verification bug Something isn't working
#394 opened May 23, 2023 by atomb
Compiler errors do not show up in IDE
#393 opened May 20, 2023 by davidcok
[internal error] Parser exception: Invalid URI: The hostname could not be parsed
#391 opened May 16, 2023 by ArthurFoltz
Weird garbled string identifying an assertion batch ("ase 0x62") bug Something isn't working
#385 opened May 2, 2023 by keyboardDrummer
ProTip! Adding no:label will show everything without a label.