Skip to content

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
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

Issues list

POG code lenses not working UI bug Something isn't working in the VSCode UI
#226 opened Nov 18, 2024 by leouk
POG view for project enhancement New feature or request
#225 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
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
Problem with syntax highlighting on char literals UI bug Something isn't working in the VSCode UI
#190 opened Oct 27, 2022 by JaScMiller v1.4.0
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
#188 opened Oct 15, 2022 by nickbattle v1.4.0
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
POG PO source enhancement New feature or request
#151 opened May 8, 2022 by leouk v1.4.0
didChange does not fire on git pull UI bug Something isn't working in the VSCode UI
#150 opened May 5, 2022 by FrederikPM Soonish
Improve VDMTools integration options improvement Improves on functionality that already exists
#146 opened May 4, 2022 by FrederikPM Soonish
Fix typos in Isabelle options improvement Improves on functionality that already exists
#144 opened May 4, 2022 by FrederikPM Soon
Refactor according to SOLID principles enhancement New feature or request
#122 opened Feb 23, 2022 by jonaskrask Backlog
Icons for VDM files in the explorer enhancement New feature or request
#120 opened Feb 22, 2022 by jonaskrask Backlog
Generic interface for plugins enhancement New feature or request
#119 opened Feb 21, 2022 by jonaskrask Backlog
PP/CodegenPP has errors improvement Improves on functionality that already exists
#115 opened Feb 15, 2022 by jonaskrask VDM Examples Fixed
GUI jars depending on overture Values UI bug Something isn't working in the VSCode UI
#113 opened Feb 15, 2022 by jonaskrask VDM Examples Fixed
ProTip! Exclude everything labeled bug with -label:bug.