Skip to content

Make debugger interface accessible via webserver #233

Closed
@NatKarmios

Description

We don't actually need the interface to be embedded inside VSCode.

This isn't a priority, but it'd certainly be nice to have.

Metadata

Assignees

Labels

debug-extRelating to the extension/webview aspect of Gillian's debugger

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions