overturetool/vdm-vscode issues and pull requests

#226 - POG code lenses not working

Issue - State: open - Opened by leouk 2 months ago - 2 comments
Labels: UI bug

#225 - POG view for project

Issue - State: open - Opened by leouk 2 months ago - 3 comments
Labels: enhancement

#216 - Enhance POG view UI to display extra PO information

Issue - State: closed - Opened by jolnd about 1 year ago - 2 comments
Labels: enhancement

#214 - "Add VDM Run Configuration" gives wrong defaultName

Issue - State: closed - Opened by nickbattle about 1 year ago - 3 comments
Labels: UI bug

#213 - Remove obsolete -Dlspx.plugins flag

Issue - State: closed - Opened by nickbattle over 1 year ago - 1 comment
Labels: UI bug

#189 - Problem with library selection and classpaths

Issue - State: closed - Opened by nickbattle over 2 years ago - 2 comments
Labels: UI bug

#189 - Problem with library selection and classpaths

Issue - State: closed - Opened by nickbattle over 2 years ago - 2 comments
Labels: UI bug

#144 - Fix typos in Isabelle options

Issue - State: open - Opened by FrederikPM over 2 years ago - 2 comments
Labels: improvement

#127 - Translator erro message output

Issue - State: closed - Opened by leouk almost 3 years ago - 6 comments

#127 - Translator erro message output

Issue - State: closed - Opened by leouk almost 3 years ago - 6 comments

#106 - Error [ERR_STREAM_WRITE_AFTER_END] occurs after client.stop()

Issue - State: closed - Opened by jonaskrask almost 3 years ago - 1 comment
Labels: UI bug

#106 - Error [ERR_STREAM_WRITE_AFTER_END] occurs after client.stop()

Issue - State: closed - Opened by jonaskrask almost 3 years ago - 1 comment
Labels: UI bug

#100 - CT View - (Maybe) Include one result view per workspace folder

Issue - State: open - Opened by jonaskrask almost 3 years ago - 2 comments
Labels: enhancement, question

#100 - CT View - (Maybe) Include one result view per workspace folder

Issue - State: open - Opened by jonaskrask almost 3 years ago - 2 comments
Labels: enhancement, question

#99 - CT View - Make it possible for users to select between all wsFolders in project

Issue - State: closed - Opened by jonaskrask almost 3 years ago - 1 comment
Labels: enhancement

#99 - CT View - Make it possible for users to select between all wsFolders in project

Issue - State: closed - Opened by jonaskrask almost 3 years ago - 1 comment
Labels: enhancement

#98 - Refactor readme view

Issue - State: closed - Opened by FrederikPM almost 3 years ago
Labels: enhancement

#98 - Refactor readme view

Issue - State: closed - Opened by FrederikPM almost 3 years ago
Labels: enhancement

#97 - Migrated client features to web extension

Pull Request - State: closed - Opened by FrederikPM almost 3 years ago

#96 - Fpm/90

Pull Request - State: closed - Opened by FrederikPM almost 3 years ago

#96 - Fpm/90

Pull Request - State: closed - Opened by FrederikPM almost 3 years ago

#95 - pog/updated reporting 'successful: true' even though specification has errors

Issue - State: closed - Opened by jonaskrask almost 3 years ago - 4 comments
Labels: UI bug

#95 - pog/updated reporting 'successful: true' even though specification has errors

Issue - State: closed - Opened by jonaskrask almost 3 years ago - 4 comments
Labels: UI bug

#94 - Change client log to use console output

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#93 - CT: Generate test outline tries to produce CT even if no workspace folder is selected

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: UI bug

#92 - Set PO View fontFamily and fontSize to the same as the editor

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: enhancement

#92 - Set PO View fontFamily and fontSize to the same as the editor

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: enhancement

#91 - Live share

Issue - State: closed - Opened by FrederikPM about 3 years ago - 1 comment
Labels: wontfix, VSC API limit

#91 - Live share

Issue - State: closed - Opened by FrederikPM about 3 years ago - 1 comment
Labels: wontfix, VSC API limit

#90 - Partly migrate to web extension

Issue - State: closed - Opened by FrederikPM about 3 years ago - 1 comment
Labels: enhancement

#90 - Partly migrate to web extension

Issue - State: closed - Opened by FrederikPM about 3 years ago - 1 comment
Labels: enhancement

#89 - Full migration to web extension

Issue - State: open - Opened by FrederikPM about 3 years ago
Labels: improvement

#89 - Full migration to web extension

Issue - State: open - Opened by FrederikPM about 3 years ago
Labels: improvement

#88 - VDMUnit missing dependency IO

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: UI bug

#87 - Presentation hints for debug variables

Issue - State: open - Opened by jonaskrask about 3 years ago
Labels: enhancement

#87 - Presentation hints for debug variables

Issue - State: open - Opened by jonaskrask about 3 years ago
Labels: enhancement

#86 - CodeLens requests may send $/cancelRequest

Issue - State: closed - Opened by nickbattle about 3 years ago - 2 comments
Labels: wontfix

#85 - PO View not showing status properly

Issue - State: closed - Opened by jonaskrask about 3 years ago - 4 comments
Labels: UI bug, fixed in VDMJ

#85 - PO View not showing status properly

Issue - State: closed - Opened by jonaskrask about 3 years ago - 4 comments
Labels: UI bug, fixed in VDMJ

#84 - Remove dependency on portfinder

Issue - State: closed - Opened by jonaskrask about 3 years ago - 15 comments
Labels: UI bug, enhancement, fixed in VDMJ

#84 - Remove dependency on portfinder

Issue - State: closed - Opened by jonaskrask about 3 years ago - 15 comments
Labels: UI bug, enhancement, fixed in VDMJ

#83 - Translate setting to disable single file translation

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#82 - Translate setting to disable timestamped folder

Issue - State: closed - Opened by jonaskrask about 3 years ago - 2 comments
Labels: enhancement

#82 - Translate setting to disable timestamped folder

Issue - State: closed - Opened by jonaskrask about 3 years ago - 2 comments
Labels: enhancement

#81 - Response message without id

Issue - State: closed - Opened by jonaskrask about 3 years ago - 3 comments
Labels: UI bug, fixed in VDMJ

#81 - Response message without id

Issue - State: closed - Opened by jonaskrask about 3 years ago - 3 comments
Labels: UI bug, fixed in VDMJ

#80 - Better file encoding support

Issue - State: closed - Opened by nickbattle about 3 years ago - 24 comments
Labels: UI bug, enhancement

#80 - Better file encoding support

Issue - State: closed - Opened by nickbattle about 3 years ago - 24 comments
Labels: UI bug, enhancement

#79 - Update dependency: vscode-languageclient

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#79 - Update dependency: vscode-languageclient

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#78 - Servers crash when saving the workspace

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: UI bug

#77 - Improve import examples

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#77 - Improve import examples

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#76 - Validate that VDM examples work with the extension

Issue - State: open - Opened by jonaskrask about 3 years ago - 7 comments
Labels: enhancement

#76 - Validate that VDM examples work with the extension

Issue - State: open - Opened by jonaskrask about 3 years ago - 7 comments
Labels: enhancement

#75 - Auto restart server on configuration changes

Issue - State: closed - Opened by jonaskrask about 3 years ago - 5 comments
Labels: enhancement, wontfix

#75 - Auto restart server on configuration changes

Issue - State: closed - Opened by jonaskrask about 3 years ago - 5 comments
Labels: enhancement, wontfix

#74 - Change "Add VDM Library" to discover libraries based on classpath

Issue - State: closed - Opened by jonaskrask about 3 years ago - 31 comments
Labels: enhancement

#74 - Change "Add VDM Library" to discover libraries based on classpath

Issue - State: closed - Opened by jonaskrask about 3 years ago - 31 comments
Labels: enhancement

#73 - Add stdlib.jar to the resources

Issue - State: closed - Opened by nickbattle about 3 years ago - 6 comments
Labels: UI bug

#73 - Add stdlib.jar to the resources

Issue - State: closed - Opened by nickbattle about 3 years ago - 6 comments
Labels: UI bug

#72 - Settings for VSCode analysis plugins

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: enhancement

#72 - Settings for VSCode analysis plugins

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: enhancement

#71 - Improve inline coverage display

Issue - State: closed - Opened by jonaskrask about 3 years ago - 5 comments
Labels: enhancement

#71 - Improve inline coverage display

Issue - State: closed - Opened by jonaskrask about 3 years ago - 5 comments
Labels: enhancement

#70 - Change names of server launch settings

Issue - State: closed - Opened by jonaskrask about 3 years ago - 3 comments

#70 - Change names of server launch settings

Issue - State: closed - Opened by jonaskrask about 3 years ago - 3 comments

#69 - Better classpath support in settings?

Issue - State: closed - Opened by nickbattle about 3 years ago - 18 comments
Labels: enhancement

#69 - Better classpath support in settings?

Issue - State: closed - Opened by nickbattle about 3 years ago - 18 comments
Labels: enhancement

#68 - Sorting of Variables in Debug mode

Issue - State: closed - Opened by jonaskrask about 3 years ago - 9 comments
Labels: enhancement

#68 - Sorting of Variables in Debug mode

Issue - State: closed - Opened by jonaskrask about 3 years ago - 9 comments
Labels: enhancement

#67 - Overture feature: Template expansion

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#67 - Overture feature: Template expansion

Issue - State: closed - Opened by jonaskrask about 3 years ago
Labels: enhancement

#66 - Overture feature: New project/class/module wizard

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: enhancement, wontfix

#66 - Overture feature: New project/class/module wizard

Issue - State: closed - Opened by jonaskrask about 3 years ago - 1 comment
Labels: enhancement, wontfix

#65 - Start new github page for SLSP and add protocol description

Issue - State: closed - Opened by jonaskrask over 3 years ago - 1 comment
Labels: documentation

#65 - Start new github page for SLSP and add protocol description

Issue - State: closed - Opened by jonaskrask over 3 years ago - 1 comment
Labels: documentation

#64 - Support Isabelle code generation

Issue - State: open - Opened by jonaskrask over 3 years ago - 22 comments
Labels: enhancement

#64 - Support Isabelle code generation

Issue - State: open - Opened by jonaskrask over 3 years ago - 22 comments
Labels: enhancement

#63 - Support C code generation

Issue - State: open - Opened by jonaskrask over 3 years ago
Labels: enhancement

#63 - Support C code generation

Issue - State: open - Opened by jonaskrask over 3 years ago
Labels: enhancement

#62 - Breakpoint support in VDMJ should be enhanced

Issue - State: closed - Opened by nickbattle over 3 years ago - 4 comments
Labels: UI bug, enhancement

#62 - Breakpoint support in VDMJ should be enhanced

Issue - State: closed - Opened by nickbattle over 3 years ago - 4 comments
Labels: UI bug, enhancement

#61 - CT View shows multiple results on top of one another

Issue - State: closed - Opened by jonaskrask over 3 years ago - 1 comment
Labels: UI bug

#61 - CT View shows multiple results on top of one another

Issue - State: closed - Opened by jonaskrask over 3 years ago - 1 comment
Labels: UI bug

#60 - Incorrect "Debug session already running"

Issue - State: closed - Opened by jonaskrask over 3 years ago - 2 comments
Labels: UI bug

#60 - Incorrect "Debug session already running"

Issue - State: closed - Opened by jonaskrask over 3 years ago - 2 comments
Labels: UI bug

#59 - Add example project, copy permission denied

Issue - State: closed - Opened by jonaskrask over 3 years ago - 1 comment
Labels: UI bug

#59 - Add example project, copy permission denied

Issue - State: closed - Opened by jonaskrask over 3 years ago - 1 comment
Labels: UI bug

#58 - High precision integers cause internal errors

Issue - State: closed - Opened by nickbattle over 3 years ago - 3 comments
Labels: UI bug, fixed in VDMJ

#58 - High precision integers cause internal errors

Issue - State: closed - Opened by nickbattle over 3 years ago - 3 comments
Labels: UI bug, fixed in VDMJ

#57 - Add Graphviz DOT file as a translation

Issue - State: closed - Opened by nickbattle over 3 years ago - 19 comments
Labels: enhancement

#57 - Add Graphviz DOT file as a translation

Issue - State: closed - Opened by nickbattle over 3 years ago - 19 comments
Labels: enhancement

#56 - Add VDMUnit functionality to VDMJ stdlib

Issue - State: closed - Opened by jonaskrask over 3 years ago - 9 comments
Labels: enhancement

#56 - Add VDMUnit functionality to VDMJ stdlib

Issue - State: closed - Opened by jonaskrask over 3 years ago - 9 comments
Labels: enhancement

#55 - Add CSV functionality to VDMJ stdlib

Issue - State: closed - Opened by jonaskrask over 3 years ago - 6 comments
Labels: enhancement

#55 - Add CSV functionality to VDMJ stdlib

Issue - State: closed - Opened by jonaskrask over 3 years ago - 6 comments
Labels: enhancement

#54 - Improve Debug launch configuration options

Issue - State: closed - Opened by jonaskrask over 3 years ago - 33 comments
Labels: enhancement

#54 - Improve Debug launch configuration options

Issue - State: closed - Opened by jonaskrask over 3 years ago - 33 comments
Labels: enhancement

#53 - MATH library "pi" constant has too many digits

Issue - State: closed - Opened by nickbattle over 3 years ago - 8 comments
Labels: UI bug

GitHub / overturetool/vdm-vscode issues and pull requests