Merge pull request #21 from runtimeverification/raoul/ws-to-wss

Move to wss:// instead of ws://

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [3.1.1] - 2024-30-10
+
+- Communication with the Simbolik API is now done over HTTPS and WSS
+
 ## [3.1.0] - 2024-16-10
 
 - Added `chainId` option to attach-configurations

package.json

@@ -11,7 +11,7 @@
   },
   "publisher": "runtimeverification",
   "description": "Advanced Solidity and EVM Debugger",
-  "version": "3.1.0",
+  "version": "3.1.1",
   "engines": {
     "vscode": "^1.79.0"
   },
@@ -51,7 +51,7 @@
         },
         "simbolik.server": {
           "type": "string",
-          "default": "ws://beta.simbolik.runtimeverification.com:3000",
+          "default": "wss://beta.simbolik.runtimeverification.com",
           "description": "The websocket URL where the simbolik server is listening. Do not change this unless you are running your own simbolik server.",
           "order": 1
         },

src/DebugAdapter.ts

@@ -14,7 +14,7 @@ export class SolidityDebugAdapterDescriptorFactory
     executable: vscode.DebugAdapterExecutable | undefined
   ): Promise<vscode.ProviderResult<vscode.DebugAdapterDescriptor>> {
     return new Promise((resolve, reject) => {
-      const server = getConfigValue('server', 'ws://beta.simbolik.runtimeverification.com:3000');
+      const server = getConfigValue('server', 'wss://beta.simbolik.runtimeverification.com');
       const websocket = new WebSocket(server);
       websocket.once('open', () => {
         const websocketAdapter = new WebsocketDebugAdapter(websocket, session.configuration);

src/DebugAdapter.web.ts

@@ -12,7 +12,7 @@ export class SolidityDebugAdapterDescriptorFactory
     executable: vscode.DebugAdapterExecutable | undefined
   ): Promise<vscode.ProviderResult<vscode.DebugAdapterDescriptor>> {
     return new Promise((resolve, reject) => {
-      const server = getConfigValue('server', 'ws://beta.simbolik.runtimeverification.com:3000');
+      const server = getConfigValue('server', 'wss://beta.simbolik.runtimeverification.com');
       const websocket = new WebSocket(server);
       websocket.onopen = () => {
         const websocketAdapter = new WebsocketDebugAdapter(websocket);