Merge pull request #16 from runtimeverification/raoul/remote-debugging

Update to latest Simbolik API
runtimeverification · Oct 14, 2024 · ac5fa96 · ac5fa96
2 parents 9febf1b + a9530d8
commit ac5fa96
Show file tree

Hide file tree

Showing 13 changed files with 859 additions and 564 deletions.
diff --git a/.gitmodules b/.gitmodules
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -7,7 +7,24 @@
 			"request": "launch",
 			"args": [
 				"--extensionDevelopmentPath=${workspaceFolder}",
-				"${workspaceFolder}/sampleWorkspace"
+				"${workspaceFolder}/../simbolik-examples"
+			],
+			"outFiles": [
+				"${workspaceFolder}/build/*.js",
+				"${workspaceFolder}/build/**/*.js",
+				"${workspaceFolder}/build-web/*.js",
+				"${workspaceFolder}/build-web/**/*.js",
+			],
+			"preLaunchTask": "${defaultBuildTask}",
+			"debugWebviews": true,
+		},
+		{
+			"name": "Simbolik: Client (Tests)",
+			"type": "extensionHost",
+			"request": "launch",
+			"args": [
+				"--extensionDevelopmentPath=${workspaceFolder}",
+				"${workspaceFolder}/../simbolik/src/tests/data/foundry"
 			],
 			"outFiles": [
 				"${workspaceFolder}/build/*.js",

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,12 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [3.0.0] - 2024-11-10
+
+- Compatibility with the latest version of the Simbolik API
+- Compatibility with the latest version of Foundry
+- Improved path mapping between local and remote file systems
+
 ## [2.0.3] - 2024-05-28
 
 - Fixed a bug in the TOML parser