issues
search
dafny-lang
/
ide-vscode
VSCode IDE Integration for Dafny
https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode
MIT License
23
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Dafny extension does not start
#441
hath995
closed
12 months ago
4
Release v3.2.0 (updated Dafny to 4.3.0)
#440
MikaelMayer
closed
1 year ago
0
Update LSP client to 9.0.0
#439
keyboardDrummer
closed
1 year ago
0
Make Dafny 4.2 the default, without a prompt?
#438
parno
closed
1 year ago
2
Fix the removal of verification tests
#436
keyboardDrummer
closed
1 year ago
0
Let the extension use the Dafny server to track changes in the project file
#435
keyboardDrummer
closed
1 year ago
0
When closing a project, diagnostics and verification 'tests' for that project may not be removed.
#434
keyboardDrummer
opened
1 year ago
0
Verification issue
#433
RustanLeino
closed
1 year ago
1
Make status bar forward compatible with upcoming Dafny release
#432
keyboardDrummer
closed
1 year ago
2
Fix: support for spaces in paths
#431
MikaelMayer
closed
1 year ago
0
Verification does not recover from parsing failure
#429
tchajed
opened
1 year ago
2
Mishandling of spaces in path names when executing Dafny from VSCode
#430
rance-cleaveland
closed
1 year ago
0
Always show all verifiable symbols in the test panels
#428
keyboardDrummer
closed
1 year ago
0
IDE shows surprising (none) URL in error messages
#427
keyboardDrummer
opened
1 year ago
0
Feature request: dafny test in the IDE
#426
jtristan
closed
1 year ago
1
"Running tests" can be displayed together with "Resolving..."
#425
keyboardDrummer
opened
1 year ago
0
Cancellation of verification does not create any immediate response
#424
keyboardDrummer
opened
1 year ago
0
Client side gutter icons
#423
keyboardDrummer
opened
1 year ago
3
Cannot disable downloading precompiled Dafny
#422
tchajed
opened
1 year ago
6
Prevent verification as tests UI from becoming unresponsive
#421
keyboardDrummer
closed
1 year ago
0
Feat: Added the test command
#420
MikaelMayer
closed
1 year ago
1
Clarify enum option in Dafny version picker
#419
keyboardDrummer
closed
1 year ago
1
Integrate with the VSCode tasks API to provide easy ways to run/build/verify/test a Dafny project
#418
keyboardDrummer
opened
1 year ago
0
"Dafny > test"
#417
MikaelMayer
closed
1 year ago
7
Release v3.1.2 (updated Dafny to 4.2.0)
#415
keyboardDrummer
closed
1 year ago
0
Bump word-wrap from 1.2.3 to 1.2.4
#414
dependabot[bot]
opened
1 year ago
0
Enable the verification status bar and verification panel to show the status of all files in a project
#413
keyboardDrummer
opened
1 year ago
0
Bump semver from 7.3.7 to 7.5.4
#411
dependabot[bot]
closed
1 year ago
0
Enable custom server arguments to contain spaces
#410
keyboardDrummer
opened
1 year ago
0
Verification issue
#409
kjx
closed
1 year ago
0
find by batch # on IDE
#408
josecorella
opened
1 year ago
1
Update README.md
#407
keyboardDrummer
closed
1 year ago
0
Dafny 4
#406
henry-hz
closed
1 year ago
1
reveal non-opaque (transparent) function.
#405
kjx
opened
1 year ago
0
Setting Text for "Dafny: Language Server Launch Args" is misleading
#404
kjx
opened
1 year ago
0
Bump semver from 7.3.7 to 7.5.3
#401
dependabot[bot]
closed
1 year ago
1
Identifiers with Underscores Cause Display Issues in Hover Information
#400
dmzimmerman
closed
1 year ago
2
Fix: Empty ghost diagnostics no longer ignored
#399
MikaelMayer
closed
1 year ago
0
Chore: Support labels with primes and question marks
#398
MikaelMayer
closed
1 year ago
0
Chore: Better description of automatic verification
#397
MikaelMayer
closed
1 year ago
0
Fixes "this" highlight
#396
MikaelMayer
closed
1 year ago
0
--relax-definite-assignment is not used in language server
#395
davidcok
opened
1 year ago
0
Verification resource use accumulates on re-verification
#394
atomb
opened
1 year ago
0
Compiler errors do not show up in IDE
#393
davidcok
opened
1 year ago
0
Support new IDE states, parsing and preparing verification
#392
keyboardDrummer
closed
1 year ago
0
[internal error] Parser exception: Invalid URI: The hostname could not be parsed
#391
ArthurFoltz
opened
1 year ago
0
Release v3.1.1 (updated Dafny to 4.1.0)
#389
fabiomadge
closed
1 year ago
0
Release v3.1.1
#388
fabiomadge
closed
1 year ago
0
chore: Empty releases
#387
fabiomadge
closed
1 year ago
0
Syntax highlighting not working if variable prefixed by "this"
#386
MikaelMayer
closed
1 year ago
0
Previous
Next