-
Notifications
You must be signed in to change notification settings - Fork 6
VS Code Live Share
VDM VSCode can work with VS Code Live Share.
It effectively streams a hosts workspace, i.e., files found in a given project to a number of "guests". The guests can then interact with these files together with the host in real-time and changes are propagated to the host's files.
As the sharing functionality only supports standard LSP and DAP and only project files are shared, extended functionality like combinatorial testing and proof obligation generation is only available to the host. An issue has been opened years ago for Microsoft to look at. However, not much if anything has happened to support custom/extended LSP messages. We will keep an eye out if this changes at some point, but this means that only standard LSP and DAP functionality are available when utilising Live Share, i.e., editorial features and debugging.
Please notify us on this issue if you have information about this that we are not aware of.
- Home
- Getting Started
- Editor Features
- Including and Excluding Project Files
- Interpretation and Debugging
- Including Libraries
- Proof Obligation Generation
- Combinatorial Testing
- Animated Usage Examples
- Worked AlarmSL Examples
- Extension Settings
- Changing VDMJ Properties
- Translation
- Coverage
- Dependency Graph
- Real-time Log Viewer
- Code Generation
- Remote Control
- External File Formats
- Annotation Output
- Using VDM Values in Java
- VS Code Live Share
- Design
- The Specification Language Server Protocol
- For Developers/Contributors