-
Notifications
You must be signed in to change notification settings - Fork 6
Issues: overturetool/vdm-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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
POG code lenses not working
UI bug
Something isn't working in the VSCode UI
#226
opened Nov 18, 2024 by
leouk
The VDMUnit library does not have the @NoPOG annotation
fixed in VDMJ
Fixed, but awaiting integration of VDMJ into extension
VDMJ bug
Something is wrong in the LSP/DAP servers or VDMJ itself
#222
opened Oct 1, 2024 by
nickbattle
Consider adding a "Quick Interpreter" feature, like Eclipse Overture
enhancement
New feature or request
Allow ${property} substitution in settings/launches
improvement
Improves on functionality that already exists
#215
opened Nov 14, 2023 by
nickbattle
Log Viewer display squeezed by large violations tables
UI bug
Something isn't working in the VSCode UI
#204
opened Jan 7, 2023 by
nickbattle
Translation to LaTeX issues for VDM files in a subdirectory
UI bug
Something isn't working in the VSCode UI
#192
opened Nov 9, 2022 by
AaronBuhagiar
Cannot launch polymorphic functions via lenses
fixed in VDMJ
Fixed, but awaiting integration of VDMJ into extension
UI bug
Something isn't working in the VSCode UI
Translate to UML appears in workspace context for VDM-SL projects
UI bug
Something isn't working in the VSCode UI
#187
opened Oct 5, 2022 by
idhugoid
"Generate Test Outline" does not search subfolders for traces
UI bug
Something isn't working in the VSCode UI
#186
opened Sep 26, 2022 by
nickbattle
Creating a *workspace* launch configuration fails to run
enhancement
New feature or request
UI bug
Something isn't working in the VSCode UI
#185
opened Sep 26, 2022 by
nickbattle
Implement function breakpoints
enhancement
New feature or request
fixed in VDMJ
Fixed, but awaiting integration of VDMJ into extension
UI bug
Something isn't working in the VSCode UI
#165
opened May 17, 2022 by
nickbattle
Closing the GUI window spawned from VDM will crash the server
UI bug
Something isn't working in the VSCode UI
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.