-
Notifications
You must be signed in to change notification settings - Fork 8
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
PO counter exemples in problems view icon change
enhancementNew feature or requestNew feature or requestimprovementImproves on functionality that already existsImproves on functionality that already existsStatus: Open.#249 In overturetool/vdm-vscode;Print / save list of all module dependencies to prompt / file
enhancementNew feature or requestNew feature or requestStatus: Open.Leaky java process on change project with debug session running
questionFurther information is requestedFurther information is requestedUI bugSomething isn't working in the VSCode UISomething isn't working in the VSCode UIStatus: Open.#246 In overturetool/vdm-vscode;Launch configuration grammar
documentationImprovements or additions to documentationImprovements or additions to documentationhelp wantedExtra attention is neededExtra attention is neededStatus: Open.- Status: Open.
Improve VDMTools integration options
enhancementNew feature or requestNew feature or requestStatus: Open.Refactor according to SOLID principles
enhancementNew feature or requestNew feature or requestStatus: Open.Full migration to web extension
enhancementNew feature or requestNew feature or requestStatus: Open.Presentation hints for debug variables
enhancementNew feature or requestNew feature or requestStatus: Open.Support Isabelle code generation
enhancementNew feature or requestNew feature or requestStatus: Open.Support C code generation
enhancementNew feature or requestNew feature or requestStatus: Open.Overture-FMU
enhancementNew feature or requestNew feature or requestStatus: Open.