overturetool/vdm-vscode issues and pull requests

#45 - Overture feature: create XMI exports of VDM++ class models

Issue - State: closed - Opened by nickbattle over 3 years ago - 1 comment
Labels: enhancement

#45 - Overture feature: create XMI exports of VDM++ class models

Issue - State: closed - Opened by nickbattle over 3 years ago - 1 comment
Labels: enhancement

#44 - Several keywords missing from the syntax colouring

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

#44 - Several keywords missing from the syntax colouring

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

#43 - Overture feature: real-time log viewer for RT specifications

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

#42 - "Execute All Tests" only runs first trace

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

#42 - "Execute All Tests" only runs first trace

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

#41 - Multiple launches are not prevented

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

#41 - Multiple launches are not prevented

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

#40 - Failures on a print expression itself are not reported correctly

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

#40 - Failures on a print expression itself are not reported correctly

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

#39 - Only one JVM argument allowed

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

#39 - Only one JVM argument allowed

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

#38 - Connect ECONNREFUSED error on launch

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

#38 - Connect ECONNREFUSED error on launch

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

#37 - User friendly way to generate/control the "ordering" file

Issue - State: open - Opened by nickbattle almost 4 years ago - 1 comment
Labels: enhancement

#36 - Overture Feature: Debug launch configuration interface

Issue - State: closed - Opened by jonaskrask almost 4 years ago
Labels: enhancement

#35 - Overture feature: we need a way to include a standard library file

Issue - State: closed - Opened by nickbattle almost 4 years ago - 2 comments
Labels: enhancement

#34 - VDMJ needs a way to control parse ordering

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: enhancement, fixed in VDMJ

#33 - Duplicate type checking errors

Issue - State: closed - Opened by paulch42 almost 4 years ago - 2 comments
Labels: UI bug, fixed in VDMJ

#32 - Allow nested comments

Issue - State: closed - Opened by paulch42 almost 4 years ago - 7 comments
Labels: enhancement, fixed in VDMJ

#31 - Outline isn't always updated

Issue - State: open - Opened by nickbattle almost 4 years ago - 4 comments
Labels: UI bug, VSC API limit

#31 - Outline isn't always updated

Issue - State: open - Opened by nickbattle almost 4 years ago - 4 comments
Labels: UI bug, VSC API limit

#30 - Review colour coding of keywords

Issue - State: open - Opened by paulch42 almost 4 years ago - 5 comments
Labels: improvement

#30 - Review colour coding of keywords

Issue - State: open - Opened by paulch42 almost 4 years ago - 5 comments
Labels: improvement

#29 - Warnings for unused imports

Issue - State: closed - Opened by paulch42 almost 4 years ago - 4 comments
Labels: UI bug, fixed in VDMJ

#29 - Warnings for unused imports

Issue - State: closed - Opened by paulch42 almost 4 years ago - 4 comments
Labels: UI bug, fixed in VDMJ

#28 - Add build script

Issue - State: open - Opened by jonaskrask almost 4 years ago - 1 comment
Labels: enhancement

#28 - Add build script

Issue - State: open - Opened by jonaskrask almost 4 years ago - 1 comment
Labels: enhancement

#27 - Overture feature: Import of example projects

Issue - State: closed - Opened by jonaskrask almost 4 years ago
Labels: enhancement

#27 - Overture feature: Import of example projects

Issue - State: closed - Opened by jonaskrask almost 4 years ago
Labels: enhancement

#26 - Overture feature: CT display traces from all workspace in the same view

Issue - State: closed - Opened by jonaskrask almost 4 years ago
Labels: wontfix

#26 - Overture feature: CT display traces from all workspace in the same view

Issue - State: closed - Opened by jonaskrask almost 4 years ago
Labels: wontfix

#25 - CT filter tests custom selection

Issue - State: closed - Opened by jonaskrask almost 4 years ago - 1 comment
Labels: enhancement, good first issue

#24 - Different log levels

Issue - State: closed - Opened by jonaskrask almost 4 years ago - 18 comments
Labels: enhancement

#23 - Extend activation events

Issue - State: closed - Opened by jonaskrask almost 4 years ago - 25 comments
Labels: enhancement

#23 - Extend activation events

Issue - State: closed - Opened by jonaskrask almost 4 years ago - 25 comments
Labels: enhancement

#22 - Overture feature: add support for a named Remote Control class

Issue - State: closed - Opened by nickbattle almost 4 years ago - 11 comments
Labels: enhancement

#22 - Overture feature: add support for a named Remote Control class

Issue - State: closed - Opened by nickbattle almost 4 years ago - 11 comments
Labels: enhancement

#21 - Overture feature: launching other VDM tools

Issue - State: closed - Opened by nickbattle almost 4 years ago
Labels: enhancement

#20 - Overture feature: add execution coverage

Issue - State: closed - Opened by nickbattle almost 4 years ago - 25 comments
Labels: enhancement

#19 - Overture feature: support Java code generation

Issue - State: closed - Opened by nickbattle almost 4 years ago - 3 comments
Labels: enhancement

#19 - Overture feature: support Java code generation

Issue - State: closed - Opened by nickbattle almost 4 years ago - 3 comments
Labels: enhancement

#18 - Overture feature: add support for Word sources

Issue - State: closed - Opened by nickbattle almost 4 years ago - 36 comments
Labels: enhancement

#18 - Overture feature: add support for Word sources

Issue - State: closed - Opened by nickbattle almost 4 years ago - 36 comments
Labels: enhancement

#17 - Specifications with "Too many type checking errors" are not handled sensibly

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: UI bug, fixed in VDMJ

#17 - Specifications with "Too many type checking errors" are not handled sensibly

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: UI bug, fixed in VDMJ

#16 - CT - execute request failed: Error: Connection got disposed

Issue - State: closed - Opened by nickbattle almost 4 years ago - 22 comments
Labels: UI bug

#16 - CT - execute request failed: Error: Connection got disposed

Issue - State: closed - Opened by nickbattle almost 4 years ago - 22 comments
Labels: UI bug

#15 - Client is confused by folder deletions

Issue - State: closed - Opened by nickbattle almost 4 years ago - 2 comments
Labels: UI bug, fixed in VDMJ

#14 - Types can be accessed without importing

Issue - State: closed - Opened by paulch42 almost 4 years ago - 4 comments
Labels: UI bug, fixed in VDMJ

#14 - Types can be accessed without importing

Issue - State: closed - Opened by paulch42 almost 4 years ago - 4 comments
Labels: UI bug, fixed in VDMJ

#13 - Watcher output should be simplified when variables are not in scope

Issue - State: closed - Opened by nickbattle almost 4 years ago
Labels: UI bug, fixed in VDMJ

#13 - Watcher output should be simplified when variables are not in scope

Issue - State: closed - Opened by nickbattle almost 4 years ago
Labels: UI bug, fixed in VDMJ

#12 - Cannot set a breakpoint while stopped at a breakpoint

Issue - State: closed - Opened by nickbattle almost 4 years ago
Labels: UI bug, fixed in VDMJ

#12 - Cannot set a breakpoint while stopped at a breakpoint

Issue - State: closed - Opened by nickbattle almost 4 years ago
Labels: UI bug, fixed in VDMJ

#11 - Cannot interrupt long running evaluations

Issue - State: closed - Opened by nickbattle almost 4 years ago - 6 comments
Labels: UI bug

#11 - Cannot interrupt long running evaluations

Issue - State: closed - Opened by nickbattle almost 4 years ago - 6 comments
Labels: UI bug

#10 - Minor highlighting issues

Issue - State: closed - Opened by paulch42 almost 4 years ago - 2 comments
Labels: UI bug

#10 - Minor highlighting issues

Issue - State: closed - Opened by paulch42 almost 4 years ago - 2 comments
Labels: UI bug

#9 - Debugger termination is inconsistent

Issue - State: closed - Opened by nickbattle almost 4 years ago - 10 comments
Labels: UI bug

#9 - Debugger termination is inconsistent

Issue - State: closed - Opened by nickbattle almost 4 years ago - 10 comments
Labels: UI bug

#8 - Null pointer exception on module/class completions

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: UI bug

#7 - Type checking errors and warnings are lost

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

#7 - Type checking errors and warnings are lost

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

#6 - Go-to-Definition F12 faults

Issue - State: closed - Opened by nickbattle almost 4 years ago - 17 comments
Labels: UI bug

#6 - Go-to-Definition F12 faults

Issue - State: closed - Opened by nickbattle almost 4 years ago - 17 comments
Labels: UI bug

#5 - Launch "stopOnEntry" does not have any effect

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: question

#5 - Launch "stopOnEntry" does not have any effect

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: question

#4 - Launch file "command" entry does not match the schema

Issue - State: closed - Opened by nickbattle almost 4 years ago - 1 comment
Labels: UI bug

#3 - Auto-insertion of '>'

Issue - State: closed - Opened by paulch42 almost 4 years ago - 1 comment
Labels: UI bug

#2 - Keywords not highlighted

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

#1 - feat: Supports reserved word highlighting

Pull Request - State: closed - Opened by korosuke613 almost 4 years ago - 5 comments

GitHub / overturetool/vdm-vscode issues and pull requests