Skip to content

Issues: DafnyVSCode/Dafny-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

24 Open 29 Closed
24 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Dafny LanguageServer collapses
#86 opened Jul 25, 2023 by h-chal
1
Support multiple files in a project
#69 opened Nov 2, 2020 by losfair
1
Standalone language server
#68 opened Oct 2, 2020 by jorge-jbs
2
Remove Version pin to Dafny 2.3.0 Affects: Server Type: Bug
#67 opened Aug 21, 2020 by fabianhauser
6
Dafny for VSCode times out as "idle" instead of failing verification Type: Bug
#64 opened Aug 13, 2020 by acioc
assert fails to respond to !false in the same way as if !false Type: Bug
#63 opened Jul 20, 2020 by davidstreader
Automatic Counter Example Quits DafnyServer Affects: Server Type: Bug
#61 opened Jun 30, 2020 by davidstreader
6
VSCode should report Dafny version and output Affects: Client Affects: Server Type: Feature
#60 opened Jun 5, 2020 by davidcok
VSCode fix incorrectly inserts computed decreases Affects: Server Type: Bug
#57 opened Apr 13, 2020 by yannickmoy
1
Key not found Affects: Server Type: Bug
#55 opened Jan 25, 2020 by theodore-norvell
1
Network Timeout / Extension crash on offline usage Affects: Client Type: Bug
#54 opened Nov 8, 2019 by reisier
3
Causing ligatures to render incorrectly Affects: Client Type: Bug
#53 opened Oct 25, 2019 by alexsurelee
2
"& was unexpected at this time" error in compile and run (F5) Affects: Client Type: Bug
#48 opened May 23, 2019 by omer-g
Syntax highlighting different if predicate in parentheses. Affects: Client help wanted Type: Bug
#47 opened May 20, 2019 by fmehta
1
Multi-line information not shown help wanted Type: Bug
#46 opened Apr 18, 2019 by RustanLeino
"Request textDocument/codeLens failed." help wanted Type: Bug
#44 opened Mar 10, 2019 by samuela
3
Configuration hot-reloading does not work Affects: Server help wanted Type: Bug
#43 opened Feb 19, 2019 by fabianhauser
Link a recommended Dafny Server version to one version of the Dafny-VSCode plugin help wanted Type: Feature
#29 opened Jun 15, 2018 by fmehta
1
DafnyServer process quit unexpectedly; attempting restart help wanted Type: Bug
#25 opened May 22, 2018 by AmirHMousavi
5
Error highlighting state not updating correctly after fixes to code help wanted Type: Bug
#19 opened Feb 17, 2018 by kevinsullivan
1
References not counted correctly help wanted Type: Bug
#18 opened Feb 17, 2018 by kevinsullivan
VSCode plug-in shows incorrect server status after server crash help wanted Type: Bug
#15 opened Feb 5, 2018 by kevinsullivan
Request textDocument/completion failed. help wanted Type: Bug
#12 opened Jan 31, 2018 by kevinsullivan
4
More informative warning in case a file, and not a workspace is opened. Affects: Client Affects: Server help wanted Type: Feature
#5 opened Aug 8, 2017 by fmehta
1
ProTip! Add no:assignee to see everything that’s not assigned.